Finite, integral, and finite-dimensional relation algebras: A brief history
type: Item
instance of: scholarly article
title: Finite, integral, and finite-dimensional relation algebras: A brief history
zbMATH Open document ID: 1059.03080
author: Roger Maddux
published in: Annals of Pure and Applied Logic
publication date: 2004-08-06T00:00:00Z
review text: 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.
reviewed by: Jānis Cīrulis
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 2083194
zbMATH Keywords: completeness
zbMATH Keywords: finite relation algebra
zbMATH Keywords: finite-dimensional relation algebra
zbMATH Keywords: finite-variable logic
zbMATH Keywords: integral relation algebra
MaRDI profile type: MaRDI publication profile
full work available at URL: j.apal.2003.11.011
OpenAlex ID: W2021668688
cites work: Q5810602
cites work: Q5681997
cites work: Relation algebras with \(n\)-dimensional relational bases
cites work: Representability is not decidable for finite relation algebras
cites work: Relation algebras by games
cites work: Representation of Modular Lattices and Of Relation Algebras
cites work: Boolean Algebras with Operators
cites work: The representation of relational algebras
cites work: The representation of relation algebras. II
cites work: Relation algebras and projective geometries
cites work: Some sufficient conditions for the representability of relation algebras
cites work: A sequent calculus for relation algebras
cites work: Q3708022
cites work: Necessary subalgebras of simple nonintegral semiassociative relation algebras
cites work: Relation algebras of every dimension
cites work: Representations of integral relation algebras
cites work: On representable relation algebras
cites work: Q5553248
cites work: Q5582292
cites work: Q4040000
DOI: 10.1016/J.APAL.2003.11.011
Recommended article: The origin of relation algebras in the development and axiomatization of the calculus of relations
Recommended article: Relation algebras
Recommended article: Q3708022
Recommended article: Q4362875
Recommended article: Finite Symmetric Integral Relation Algebras with No 3-Cycles
description: scientific article; zbMATH DE number 2083194