Switch to: Citations

Add references

You must login to add references.
  1. The McKinsey axiom is not canonical.Robert Goldblatt - 1991 - Journal of Symbolic Logic 56 (2):554-562.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.
    This paper is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey character, too. The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • A new proof of Sahlqvist's theorem on modal definability and completeness.G. Sambin & V. Vaccaro - 1989 - Journal of Symbolic Logic 54 (3):992-999.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • On the canonicity of Sahlqvist identities.Bjarni Jónsson - 1994 - Studia Logica 53 (4):473 - 491.
    We give a simple proof of the canonicity of Sahlqvist identities, using methods that were introduced in a paper by Jónsson and Tarski in 1951.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Collected Papers.Colin McGinn - 1988 - Philosophical Review 97 (2):278.
    Download  
     
    Export citation  
     
    Bookmark   214 citations