Logic in algebraic form. Three languages and theories
From MaRDI portal
Publication:1219883
zbMath0312.02049MaRDI QIDQ1219883
Publication date: 1974
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Relational lattices: from databases to universal algebra ⋮ Towards automating duality ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ The universal theory of first order algebras and various reducts ⋮ How many varieties of cylindric algebras are there ⋮ Algebras of diagonal relations ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Omitting types for algebraizable extensions of first order logic ⋮ The class of polyadic algebras has the super amalgamation property ⋮ Varieties of Algebras without the Amalgamation Property
