Axiomatizability of positive algebras of binary relations
The authors consider all the positive fragments in the signature of representable relation algebras (including extensions with reflexive transitive closure and both of the residuals of composition). They determine whether the first-order equational and quasi-equational theories of each fragment are finitely axiomatizable.
scientific article; zbMATH DE number 5977550
scientific article