Starting with the deontic principles in Mīmāmsā texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this logic, resulting in decidability, complexity results and neighbourhood semantics. The latter is used to analyse a well known example of conflicting obligations from the Vedas.
Mīmāṃsā Deontic Logic: Proof Theory and Applications [M(i)over-barm(a)over-barms(a)over-bar Deontic Logic: Proof Theory and Applications] / A. Ciabattoni, E. Freschi, F.A. Genco, B. Lellmann (LECTURE NOTES IN COMPUTER SCIENCE). - In: Automated Reasoning with Analytic Tableaux and Related Methods / [a cura di] H. De Nivelle. - [s.l] : Springer, 2015. - ISBN 9783319243115. - pp. 323-338 (( Intervento presentato al 24. convegno TABLEAUX International Conference : 21 through 24 September tenutosi a Wroclaw nel 2015 [10.1007/978-3-319-24312-2_22].
Mīmāṃsā Deontic Logic: Proof Theory and Applications [M(i)over-barm(a)over-barms(a)over-bar Deontic Logic: Proof Theory and Applications]
F.A. GencoPenultimo
;
2015
Abstract
Starting with the deontic principles in Mīmāmsā texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this logic, resulting in decidability, complexity results and neighbourhood semantics. The latter is used to analyse a well known example of conflicting obligations from the Vedas.
| File | Dimensione | Formato | |
|---|---|---|---|
|
TABLEAUX.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
361.66 kB
Formato
Adobe PDF
|
361.66 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
tableaux2015.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
465.11 kB
Formato
Adobe PDF
|
465.11 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
