Sequent calculi for normal and non-normal deontic logics are introduced. For these calculi we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the admissibility of cut. This yields that the subformula property holds for them and that they are decidable. Then we show that our calculi are equivalent to the axiomatic ones, and therefore that they are sound and complete w.r.t. neighborhood semantics. This is a major step in the development of the proof theory of deontic logics since our calculi allow for a systematic root-first proof search of formal derivations.
Titolo: | Proof Analysis in Deontic Logics |
Autore/i: | ORLANDELLI, EUGENIO |
Autore/i Unibo: | |
Anno: | 2014 |
Titolo del libro: | Deontic Logic and Normative Systems, 12th International Conference, DEON 2014 |
Pagina iniziale: | 139 |
Pagina finale: | 148 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-08615-6_11 |
Abstract: | Sequent calculi for normal and non-normal deontic logics are introduced. For these calculi we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the admissibility of cut. This yields that the subformula property holds for them and that they are decidable. Then we show that our calculi are equivalent to the axiomatic ones, and therefore that they are sound and complete w.r.t. neighborhood semantics. This is a major step in the development of the proof theory of deontic logics since our calculi allow for a systematic root-first proof search of formal derivations. |
Data stato definitivo: | 2-dic-2015 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.