Switch to: References

Add citations

You must login to add citations.
  1. The Proof by Cases Property and its Variants in Structural Consequence Relations.Petr Cintula & Carles Noguera - 2013 - Studia Logica 101 (4):713-747.
    This paper is a contribution to the study of the rĂ´le of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • A Henkin-style proof of completeness for first-order algebraizable logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.
  • An expansion of first-order Belnap-Dunn logic.K. Sano & H. Omori - 2014 - Logic Journal of the IGPL 22 (3):458-481.