Mīmāṃsā Deontic Logic: Proof Theory and Applications

DOI10.1007/978-3-319-24312-2_22zbMath1471.03042arXiv1705.03211OpenAlexW2178206589MaRDI QIDQ3455779

Björn Lellmann, Elisa Freschi, Francesco A. Genco, Agata Ciabattoni

Publication date: 11 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1705.03211

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Mīmāṃsā Deontic Logic: Proof Theory and Applications ⋮ Deontic paradoxes in Mīmāṃsā logics: there and back again ⋮ Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof Analysis in Deontic Logics
• Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
• Mīmāṃsā Deontic Logic: Proof Theory and Applications
• Obligations and Prohibitions in Talmudic Deontic Logic

This page was built for publication: Mīmāṃsā Deontic Logic: Proof Theory and Applications