Switch to: Citations

Add references

You must login to add references.
  1. 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   43 citations  
  • Algebraic Logic.Aubert Daigneault - 1962 - Journal of Symbolic Logic 27 (4):469-470.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
    Download  
     
    Export citation  
     
    Bookmark   404 citations  
  • Classical Recursion Theory.Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • A Formalization of Set Theory Without Variables.István Németi - 1990 - Journal of Symbolic Logic 55 (1):350-352.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Finite schematizable algebraic logic.I. Sain & V. Gyuris - 1997 - Logic Journal of the IGPL 5 (5):699-751.
    In this work, we attempt to alleviate three equivalent negative results. These are non-axiomatizability of the valid formula schemas of first order logic, non-axiomatizability of any propositional logic equivalent with classical first order logic , and non-axiomatizability of the class of representable cylindric algebras . Here we present two finite schema axiomatizable classes of algebras that contain, as a reduct, the class of representable quasi-polyadic algebras and the class of representable cylindric algebras, respectively. We establish positive results in the direction (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations