Abstract:
Abstract. 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 Schroder. 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. One of the purposes of this paper is to present an introduction to both the calculus of relations and relation algebras in a historical context. This is done in xx2--3 through a close look at two of the seminal papers of the subject, On
Citations
|
177
|
On the calculus of relations
– Tarski
- 1941
|
|
94
|
A Formalization of Set Theory without Variables
– Tarski, Givant
- 1987
|
|
66
|
Introduction to mathematical logic
– Church
- 1956
|
|
60
|
The representation of relational algebras
– Lyndon
- 1950
|
|
53
|
Distributive and modular laws in the arithmetic of relation algebras
– Chin, Tarski
- 1951
|
|
52
|
A survey of symbolic logic
– Lewis
- 1918
|
|
32
|
Vorlesungen über die Algebra der Logik
– Schröder
|
|
27
|
The mathematical analysis of logic, being an essay toward a calculus of deductive reasoning
– Boole
|
|
24
|
Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic
– Peirce
- 1933
|
|
16
|
Heijenoort. From Frege to Gödel: A Source Book
– van
- 1967
|
|
14
|
Uber Moglichkeiten im Relativkalkul
– Lowenheim
- 1915
|
|
11
|
Sets of independent postulates for the algebra of logic
– Huntington
- 1904
|
|
10
|
varieties containing relation algebras
– Some
- 1982
|
|
8
|
algebras with operators
– Boolean
- 1952
|
|
8
|
Studies in cylindric algebra, Doctoral dissertation
– Monk
- 1961
|
|
5
|
On Peirce's notation for the logic of relatives
– Brink
- 1978
|
|
5
|
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 in the theory of evidence
– Morgan
|
|
4
|
Lattice Theory. Colloquium Publications, Volume 25
– Birkhoff
- 1967
|
|
3
|
A Chronological Edition, edited by Edward
– Peirce
- 1984
|
|
3
|
to the theory of models, III, Koninklijkle Nederlandse Akademie van Wetenschappen
– Contributions
- 1955
|
|
2
|
sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia
– New
- 1933
|
|
2
|
algebra. A correction
– Boolean
- 1933
|
|
2
|
The representation of relation algebras, Doctoral dissertation
– McKenzie
- 1966
|
|
1
|
Peirce's Development of the Algebra of Relations, Doctoral dissertation
– Brunning
- 1980
|
|
1
|
Dictionary of Philosophy and Psychology, second edition, edited by
– Martin
- 1911
|
|
1
|
Problems of expressibility in finite languages, Doctoral dissertation
– Kwatinetz
- 1981
|
|
1
|
Some comments on De Morgan, Peirce, and the logic of relations
– Martin
- 1976
|
|
1
|
servants, lovers, and benefactors: Peirce's algebra of relatives of 1870
– Of
- 1978
|
|
1
|
The 1870 logic of relatives memoir
– Merrill
|
|
1
|
A house divided against itself: the emergence of first-order logic as the basis for mathematics
– Moore
- 1987
|
|
1
|
description of the algebra of relatives, privately printed
– Brief
|
|
1
|
in Logic by Members of the Johns Hopkins University, edited by
– Studies
|
|
1
|
B: the logic of relatives
– Note
|
|
1
|
Papers, edited by Charles Hartshorne and Paul Weiss
– Collected
- 1933
|
|
1
|
in Logic by Members of the Johns Hopkins University, reprint of [Peirce1883], with an Introduction by Max H. Fisch, and a Preface by Achim Eschbach
– Studies
- 1983
|
