Switch to: References

Add citations

You must login to add citations.
  1. Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
    The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. Cut elimination is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The permutation principle in quantificational logic.Kit Fine - 1983 - Journal of Philosophical Logic 12 (1):33 - 37.
    Download  
     
    Export citation  
     
    Bookmark   14 citations