Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305)
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: Finite, integral, and finite-dimensional relation algebras: A brief history |
scientific article; zbMATH DE number 2083194
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite, integral, and finite-dimensional relation algebras: A brief history |
scientific article; zbMATH DE number 2083194 |
Statements
Finite, integral, and finite-dimensional relation algebras: A brief history (English)
0 references
6 August 2004
0 references
The topics covered by the paper are: (1) the early history: axiomatisation of relation algebras and comparison of the calculus of relations with finite-variable logics, (2) finite-dimensional and representable relation algebras, connections between them, (3) integral non-representable relation algebras with a finite number of atoms. More than 20 important results are not only presented here, but are also put in the historical context. Proofs are omitted; however, all essential references are given. This concise and informative survey can be recommended to any reader interested in the listed subjects.
0 references
completeness
0 references
finite relation algebra
0 references
finite-dimensional relation algebra
0 references
finite-variable logic
0 references
integral relation algebra
0 references
