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