Axiomatization of identity-free equations valid in relation algebras
From MaRDI portal
Publication:1913874
DOI10.1007/BF01195500zbMath0852.03024MaRDI QIDQ1913874
Istvan Németi, Hajnalka Andréka
Publication date: 2 June 1996
Published in: Algebra Universalis (Search for Journal in Brave)
03G15: Cylindric and polyadic algebras; relation algebras
08A02: Relational systems, laws of composition
Related Items
Axiomatizability of positive algebras of binary relations, 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
Cites Work