Axiomatizability of positive algebras of binary relations (Q647324): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s00012-011-0142-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2059559554 / rank | |||
Normal rank | |||
Revision as of 02:51, 20 March 2024
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
