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
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
