Invited Paper: Origins of the calculus of binary relations (at LICS 1992)

Authors: Vaughan R. Pratt

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

BibTeX

  @InProceedings{Pratt-Originsofthecalculu,
    author = 	 {Vaughan R. Pratt},
    title = 	 {Origins of the calculus of binary relations},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 1992)},
    year =	 {1992},
    month =	 {June}, 
    pages =      {248--254},
    location =   {Santa Cruz, CA, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }