Switch to: References

Add citations

You must login to add citations.
  1. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.
    This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
    We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations