Equational theory of relation algebras with positive operations (Q1901893)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equational theory of relation algebras with positive operations |
scientific article |
Statements
Equational theory of relation algebras with positive operations (English)
0 references
3 January 1996
0 references
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\}\).
0 references
equational theories
0 references
relation algebras
0 references
positive operations
0 references
solvability
0 references
varieties
0 references
positive reducts of Tarski algebras of relations
0 references
