Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras

DOI10.1007/S00012-016-0367-2zbMath1397.03095OpenAlexW2252325895MaRDI QIDQ271687

Andrew John Ylvisaker

Publication date: 7 April 2016

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-016-0367-2

zbMATH Keywords

diagonal free cylindric algebrasquasi-projective relation algebrasrelation algebra reduct

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Relation algebras
• Connections between quasi-projective relation algebras and cylindric algebras
• Cylindric algebras. Part II
• Some sufficient conditions for the representability of relation algebras
• Finitary Algebraic Logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• Algebraic Logic, Where Does it Stand Today?
• Boolean Algebras with Operators

This page was built for publication: Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras