Switch to: References

Add citations

You must login to add citations.
  1. Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
    Download  
     
    Export citation  
     
    Bookmark