Equational theory of relation algebras with positive operations (Q1901893)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Equational theory of relation algebras with positive operations |
scientific article; zbMATH DE number 815631
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equational theory of relation algebras with positive operations |
scientific article; zbMATH DE number 815631 |
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
