Axiomatizability of positive algebras of binary relations (Q647324)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Axiomatizability of positive algebras of binary relations |
scientific article; zbMATH DE number 5977550
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatizability of positive algebras of binary relations |
scientific article; zbMATH DE number 5977550 |
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
0.91436964
0 references
0.89549595
0 references
0.8944639
0 references
0.8934158
0 references
0.89116985
0 references
0 references
0.88833964
0 references
0.88824797
0 references
0 references
