A Logic for Contracts

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

WarningThere is a more recent version of this item available.
[img]
Preview
 PDF
Download (696Kb) | 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: 02 Jul 2009

    Available Versions of this Item

    Actions (login required)

    		 View Item