Switch to: Citations

Add references

You must login to add references.
  1. Entailment. Vol. 1.Alan Ross Anderson & Nuel D. Belnap - 1977 - Canadian Journal of Philosophy 7 (2):405-411.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
    This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Theory of Logical Calculi, Basic Theory of Consequence Operations.Ryszard Wójcicki - 1991 - Studia Logica 50 (3):623-629.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
    This is also where we begin investigating lattices of logics and varieties, rather than particular examples.
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Recherches Sur la Th”Eorie de la D”Emonstration.J. Herbrand - 1930 - Dissertation, Universit’e de Paris
    Download  
     
    Export citation  
     
    Bookmark   34 citations