A construction of cylindric and polyadic algebras from atomic relation algebras

DOI10.1007/s00012-012-0202-3zbMath1263.03058WikidataQ59291449 ScholiaQ59291449MaRDI QIDQ1935018

I. M. Hodkinson

Publication date: 30 January 2013

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

Full work available at URL: https://doi.org/10.1007/s00012-012-0202-3

zbMATH Keywords

algebraic logic; algebras of relations; complete representation; cylindric algebra; polyadic algebra; diagonal-free algebra; polyadic equality algebra

Mathematics Subject Classification ID

03B50: Many-valued logic

03G15: Cylindric and polyadic algebras; relation algebras

Related Items

The class of completely representable polyadic algebras of infinite dimensions is elementary, On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Relation algebras
• Cylindric algebras. Part II
• Some sufficient conditions for the representability of relation algebras
• Decidable fragments of first-order temporal logics
• A note on algebras of substitutions
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• On representable relation algebras
• On the representation theory for cylindric algebras
• Varieties of complex algebras
• The representation of relational algebras
• Representability is not decidable for finite relation algebras
• Strongly representable atom structures of cylindric algebras
• On complete representations of algebras of logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• Complete representations in algebraic logic
• On modal logics betweenK × K × KandS5 × S5 × S5
• Nonfinitizability of classes of representable cylindric algebras
• Nonfinitizability of classes of representable polyadic algebras
• Cylindric Algebras and Algebras of Substitutions
• On the calculus of relations