Switch to: Citations

Add references

You must login to add references.
  1. Logical matrices and the amalgamation property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
    The main result of the present paper — Theorem 3 — establishes the equivalence of the interpolation and amalgamation properties for a large family of logics and their associated classes of matrices.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   227 citations  
  • Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-119.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
    Download  
     
    Export citation  
     
    Bookmark   161 citations  
  • Review: A. Mostowski, Sur L'Interpretation Geometrique et Topologique des Notions Logiques. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):184-184.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-659b74868d-vwmnd uwo