Mīmā\d{m}sā deontic logic: proof theory and applications
arXiv:1705.03211 · doi:10.1007/978-3-319-24312-2_22
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.
16 pages, published in the proceedings of Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocł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