Equational theory of relation algebras with positive operations

zbMath0833.03019MaRDI QIDQ1901893

Dmitry Aleksandrovich Bredikhin

Publication date: 3 January 1996

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

solvabilityrelation algebrasvarietiesequational theoriespositive operationspositive reducts of Tarski algebras of relations

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Varieties (08B99)

Related Items

The equational theory of union-free algebras of relations ⋮ On quasi-identities of relation algebras with Diophantine operations ⋮ Unnamed Item ⋮ Axiomatizability of positive algebras of binary relations ⋮ Identities of semigroups of relations with an operator of reflexive double cylindrification ⋮ Unnamed Item ⋮ Normal forms for binary relations ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ On identities of relation algebras with domino operations.