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.

A Logic for Contracts / Bartoletti, Massimo; Zunino, Roberto. - ELETTRONICO. - (2009), pp. 1-47.

A Logic for Contracts

Zunino, Roberto
2009-01-01

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.
2009
Trento
University of Trento - Dipartimento di Ingegneria e Scienza dell'Informazione
A Logic for Contracts / Bartoletti, Massimo; Zunino, Roberto. - ELETTRONICO. - (2009), pp. 1-47.
Bartoletti, Massimo; Zunino, Roberto
File in questo prodotto:
File Dimensione Formato  
logic.pdf

accesso aperto

Tipologia: Altro materiale allegato (Other attachments)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 696.42 kB
Formato Adobe PDF
696.42 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/358817
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact