On Classes of Generalized Subreducts of Tarski’s Relation Algebras with One Diophantine Binary Operation

Resumo

In the paper, systems of elementary axioms are found for classes of groupoids and ordered groupoids of binary relations with Diophantine operations that are generalized subreducts of the Tarski relation algebras.