Studia Logica 50 (3-4):421 - 455 (1991)

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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370681
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,205
Through your library

References found in this work BETA

Collected Papers.Charles S. Peirce - 1931 - Cambridge: Belknap Press of Harvard University Press.
Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.
Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
Symbolic Logic.Clarence Irving Lewis - 1932 - Dover Publications.
A Survey of Symbolic Logic.Clarence Irving Lewis - 1960 - New York: Dover Publications.

View all 18 references / Add more references

Citations of this work BETA

Relevance Logic and the Calculus of Relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.

View all 17 citations / Add more citations

Similar books and articles

An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
The Logic of Peirce Algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Undecidable Semiassociative Relation Algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
Relation Algebras of Every Dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.


Added to PP index

Total views
78 ( #136,215 of 2,444,732 )

Recent downloads (6 months)
2 ( #311,178 of 2,444,732 )

How can I increase my downloads?


My notes