Title :
Origins of the calculus of binary relations
Author_Institution :
Dept. of Comput. Sci., Stanford Univ., CA, USA
Abstract :
The genesis of the calculus of binary relations, which was introduced by A. De Morgan (1860) and was subsequently greatly developed by C.S. Peirce (1933) and E. Schroder (1895), is examined. Its further development, from the perspective of modern model theory, in the 1940s and 1950s is described
Keywords :
formal logic; calculus of binary relations; development; modern model theory; Calculus; Computer science; Logic; Marine vehicles;
Conference_Titel :
Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on
Conference_Location :
Santa Cruz, CA
Print_ISBN :
0-8186-2735-2
DOI :
10.1109/LICS.1992.185537
