Equational theory of relation algebras with positive operations
From MaRDI portal
(Redirected from Publication:1901893)
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)
