The origin of relation algebras in the development and axiomatization of the calculus of relations

The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the theory of relation algebras through a review of these historical developments.

[1]  J. Heijenoort.  From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .

[2]  Alfred Tarski,et al.  Distributive and Modular Laws in the Arithmetic of Relation Algebras , 1953 .

[3]  E. V. Huntington.  Boolean Algebra. A Correction , 1933 .

[4]  R. Maddux.  Some varieties containing relation algebras , 1982 .

[5]  C. Peirce.  On the Algebra of Logic: A Contribution to the Philosophy of Notation , 1885 .

[6]  E. V. Huntington.  Boolean algebra. A correction to: “New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s Principia mathematica” [Trans. Amer. Math. Soc. 35 (1933), no. 1, 274–304; 1501684] , 1933 .

[7]  Joseph W. Dauben.  Writings of Charles S. Peirce: A Chronological Edition. Volume II:1867-1871. Charles S. Peirce , Edward C. Moore , Max H. Fisch , Christian J. W. Kloesel, Don D. Roberts , Lynn A. Zeigler , 1986 .

[8]  E. V. Huntington.  A New Set of Independent Postulates for the Algebra of Logic with Special Reference to Whitehead and Russell's Principia Mathematica. , 1932, Proceedings of the National Academy of Sciences of the United States of America.

[9]  Augustus de Morgan,et al.  On the Syllogism, No. IV., and on the Logic of Relations , 1864 .

[10]  James Mark Baldwin,et al.  Dictionary of Philosophy and Psychology , 1960, Nature.

[11]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[12]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[13]  C. Brink.  On Peirce's Notation for the Logic of Relatives , 1978 .

[14]  E. V. Huntington.  Sets of independent postulates for the algebra of logic , 1904 .

[15]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[16]  Richard M. Martin.  Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870 , 1978, J. Philos. Log..

[17]  C. Peirce.  Studies in Logic by Members of the Johns Hopkins University , 1883 .

[18]  Gregory H. Moore.  A house divided against itself: the emergence of first-order logic as the basis for mathematics , 1987 .

[19]  Leopold Löwenheim.  Über Möglichkeiten im Relativkalkül , 1915 .

[20]  Augustus de Morgan.  On the Syllogism, No. III., and on Logic in general , 1864 .

[21]  A. D. Morgan.  On the Symbols of Logic, the Theory of the Syllogism, and in particular of the Copula, and the application of the Theory of Probabilities to some questions of Evidence , 1851 .

[22]  P. Heath,et al.  On the Syllogism and Other Logical Writings. , 1966 .

[23]  J. P. Andersen.  The Representation of Relation Algebras , 1961 .

[24]  R. Lyndon.  THE REPRESENTATION OF RELATIONAL ALGEBRAS , 1950 .

[25]  C. J. Everett,et al.  The Representation of Relational Algebras. , 1951 .

[26]  D. Monk.  On representable relation algebras. , 1964 .

[27]  R. McKenzie.  Representations of integral relation algebras. , 1970 .

[28]  R. C. Lyndon.  Relation algebras and projective geometries. , 1961 .

[29]  A. Tarski.  Contributions to the theory of models. III , 1954 .

[30]  Alfred Tarski,et al.  Equationally Complete Rings and Relation Algebras , 1956 .

[31]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[32]  R. Lyndon.  THE REPRESENTATION OF RELATION ALGEBRAS, II , 1956 .

[33]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[34]  C. Lewis,et al.  A Survey Of Symbolic Logic , 1920 .

[35]  Chris Brink.  The algebra of relatives , 1979, Notre Dame J. Formal Log..