Switch to: Citations

Add references

You must login to add references.
  1. Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.
    W. J. Blok and Don Pigozzi set out to try to answer the question of what it means for a logic to have algebraic semantics. In this seminal book they transformed the study of algebraic logic by giving a general framework for the study of logics by algebraic means. The Dutch mathematician W. J. Blok (1947-2003) received his doctorate from the University of Amsterdam in 1979 and was Professor of Mathematics at the University of Illinois, Chicago until his death in (...)
    Download  
     
    Export citation  
     
    Bookmark   137 citations  
  • Appendix.[author unknown] - 1993 - The Personalist Forum 9 (1):53-61.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • (1 other version)The independence of connectives.Timothy Smiley - 1962 - Journal of Symbolic Logic 27 (4):426-436.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • (1 other version)The Independence of Connectives.Timothy Smiley - 1975 - Journal of Symbolic Logic 40 (2):250-251.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Quasivarieties of logic, regularity conditions and parameterized algebraization.G. Barbour & J. Raftery - 2003 - Studia Logica 74 (1-2):99 - 152.
    Relatively congruence regular quasivarieties and quasivarieties of logic have noticeable similarities. The paper provides a unifying framework for them which extends the Blok-Pigozzi theory of elementarily algebraizable (and protoalgebraic) deductive systems. In this extension there are two parameters: a set of terms and a variable. When the former is empty or consists of theorems, the Blok-Pigozzi theory is recovered, and the variable is redundant. On the other hand, a class of membership logics is obtained when the variable is the only (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations