Equational theory of relation algebras with positive operations
From MaRDI portal
(Redirected from Equational theory of relation algebras with positive operations)
We use techniques of graph theory in order to give an effective description of equational theories of relation algebras with positive operations. As a consequence, in particular, we prove their solvability. The obtained result is applied to characterize varieties generated by positive reducts of Tarski algebras of relations, i.e., by algebras with the set of operations \(\Omega \subset \{\circ,^{-1}, \cap, \cup\}\).
Recommendations
Cited in
(14)- On quasi-identities of relation algebras with Diophantine operations
- Relation algebras with Diophantine operations
- The equational theory of union-free algebras of relations
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
- On identities of relation algebras with domino operations.
- Normal forms for binary relations
- On equational theories of semilattices with operators
- scientific article; zbMATH DE number 4170985 (Why is no real title available?)
- Identities of semigroups of relations with an operator of reflexive double cylindrification
- scientific article; zbMATH DE number 7559485 (Why is no real title available?)
- On varieties of algebras of relations with an operation of double cylindrification
- On Positive Relational Calculi
- Axiomatizability of positive algebras of binary relations
- Existential and positive theories of equations in graph products
This page was built for publication: Equational theory of relation algebras with positive operations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1901893)
