Equational theory of relation algebras with positive operations (Q1901893)

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\}\).