A simple, purely algebraic proof of the completeness of some first order logics
From MaRDI portal
Publication:1217805
DOI10.1007/BF02485226zbMath0306.02059MaRDI QIDQ1217805
Istvan Németi, Hajnalka Andréka
Publication date: 1975
Published in: Algebra Universalis (Search for Journal in Brave)
03B10: Classical first-order logic
03G15: Cylindric and polyadic algebras; relation algebras
03C35: Categoricity and completeness of theories
08Axx: Algebraic structures
Related Items
On representability of neatly embeddable cylindric algebras, Cylindric modal logic, Algebraic Logic, Where Does it Stand Today?, On conceptual completeness of syntactic-semantical systems, Algebraization of quantifier logics, an introductory overview, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Representable cylindric algebras, The contributions of Alfred Tarski to algebraic logic
Cites Work