Axiomatization of identity-free equations valid in relation algebras

DOI10.1007/BF01195500zbMath0852.03024OpenAlexW1487689712MaRDI QIDQ1913874

Hajnalka Andréka, Istvan Németi

Publication date: 2 June 1996

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

Full work available at URL: https://doi.org/10.1007/bf01195500

zbMATH Keywords

relation algebraalgebras of binary relationsfinite axiom systemsidentity-free equations

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Relational systems, laws of composition (08A02)

Related Items (4)

Weakly representable but not representable relation algebras ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ Axiomatizability of positive algebras of binary relations

Cites Work

• Unnamed Item
• A sequent calculus for relation algebras
• Varieties of relation algebras
• Adjoining units to residuated Boolean algebras
• Perfect extensions and derived algebras
• Boolean Algebras with Operators. Part I

This page was built for publication: Axiomatization of identity-free equations valid in relation algebras