The origin of relation algebras in the development and axiomatization of the calculus of relations (Q1189893): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:27, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The origin of relation algebras in the development and axiomatization of the calculus of relations |
scientific article |
Statements
The origin of relation algebras in the development and axiomatization of the calculus of relations (English)
0 references
27 September 1992
0 references
As the title indicates, this paper is a historical account of the theory of relation algebras, starting with De Morgan and Peirce and ending with Tarski's axiomatization of relation algebras, his solution of most of the natural problems about them, and Lyndon's important contributions. This material is treated in detail, but using the modern notation. The history ends with the 1964 theorem of the reviewer about the non-finite axiomatizability of the class of representable relation algebras. It should be noted that the field is still quite active, with important recent contributions by Maddux, Jónsson, and many others.
0 references
relation algebras
0 references
De Morgan
0 references
Peirce
0 references
Tarski
0 references
Lyndon
0 references