Mīmāṃsā Deontic Logic: Proof Theory and Applications
- Cite this paper as:
- Ciabattoni A., Freschi E., Genco F.A., Lellmann B. (2015) Mīmāṃsā Deontic Logic: Proof Theory and Applications. In: De Nivelle H. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science, vol 9323. Springer, Cham
Starting with the deontic principles in Mīmāṃsā 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.
Unable to display preview. Download preview PDF.