Finite, integral, and finite-dimensional relation algebras: A brief history

DOI10.1016/j.apal.2003.11.011zbMath1059.03080OpenAlexW2021668688MaRDI QIDQ598305

Roger D. Maddux

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.011

zbMATH Keywords

completenessfinite-variable logicfinite relation algebrafinite-dimensional relation algebraintegral relation algebra

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Necessary subalgebras of simple nonintegral semiassociative relation algebras
• The representation of relation algebras. II
• Relation algebras and projective geometries
• A sequent calculus for relation algebras
• Some sufficient conditions for the representability of relation algebras
• Relation algebras with \(n\)-dimensional relational bases
• On representable relation algebras
• Representations of integral relation algebras
• The representation of relational algebras
• Representability is not decidable for finite relation algebras
• Representation of Modular Lattices and Of Relation Algebras
• Relation algebras of every dimension
• Boolean Algebras with Operators

This page was built for publication: Finite, integral, and finite-dimensional relation algebras: A brief history