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.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