Mīmā\d{m}sā deontic logic: proof theory and applications
Abstract
Starting with the deontic principles in Mīmā\d{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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2017
- DOI:
- 10.48550/arXiv.1705.03211
- arXiv:
- arXiv:1705.03211
- Bibcode:
- 2017arXiv170503211C
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- 16 pages, published in the proceedings of Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroc{\l}aw, Poland, September 21-24, 2015. The final publication is available at Springer via http//dx.doi.org/10.1007/978-3-319-24312-2_22