Axiomatizability of positive algebras of binary relations (Q647324)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatizability of positive algebras of binary relations
scientific article

    Statements

    Axiomatizability of positive algebras of binary relations (English)
    0 references
    0 references
    0 references
    23 November 2011
    0 references
    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.
    0 references
    representable relation algebras
    0 references
    equational theory
    0 references
    quasi-equational theory
    0 references
    positive operations
    0 references
    finite axiomatizability
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers