Find out how to access previewonly content
The origin of relation algebras in the development and axiomatization of the calculus of relations
 Roger D. Maddux
 … show all 1 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
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.
 Title
 The origin of relation algebras in the development and axiomatization of the calculus of relations
 Journal

Studia Logica
Volume 50, Issue 34 , pp 421455
 Cover Date
 199109
 DOI
 10.1007/BF00370681
 Print ISSN
 00393215
 Online ISSN
 15728730
 Publisher
 Kluwer Academic Publishers
 Additional Links
 Authors

 Roger D. Maddux ^{(1)}
 Author Affiliations

 1. Department of Mathematics, Iowa State University, 50011, Ames, Iowa