Studia Logica

, Volume 50, Issue 3, pp 421–455

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

  • Roger D. Maddux

DOI: 10.1007/BF00370681

Cite this article as:
Maddux, R.D. Stud Logica (1991) 50: 421. doi:10.1007/BF00370681


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.

Copyright information

© Polish Academy of Sciences 1991

Authors and Affiliations

  • Roger D. Maddux
    • 1
  1. 1.Department of MathematicsIowa State UniversityAmesIowa