Axiomatizability of positive algebras of binary relations (Q647324): Difference between revisions

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.