A Logic for Contracts

Bartoletti, Massimo and Zunino, Roberto (2009) A Logic for Contracts. UNSPECIFIED.

This is the latest version of this item.

[img]
Preview
 PDF
Download (718Kb) | Preview

    Abstract

    We introduce a logic for modelling contractual committment, and study its properties. Our logic is free from modalities, and instead relies on a peculiar form of implication. In this paper, we discuss proof theory for our logic. We present a Hilbert-style axiomatisation for our logic, which is shown consistent. We also provide a Gentzen-style sequent calculus, and prove it equivalent to our axiomatization. We prove our logic decidable.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: B Philosophy. Psychology. Religion > BC Logic
    Report Number: DISI-09-034
    Repository staff approval on: 24 Nov 2009

    Available Versions of this Item

    Actions (login required)

    		 View Item