Switch to: References

Citations of:

Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic

In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 148--160 (2013)

Add citations

You must login to add citations.
  1. Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.Björn Lellmann, Francesca Gulisano & Agata Ciabattoni - 2020 - Artificial Intelligence and Law 29 (3):351-394.
    Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mīmāṃsā to resolve conflicts between deontic statements by giving preference to the more specific ones. We first extend with prohibitions and recommendations the non-normal deontic logic extracted in Ciabattoni et al. from Mīmāṃsā texts, obtaining a multimodal dyadic version of the deontic logic \. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations