Logic in Computer Science (LICS 1992)

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

Authors: Pratt, V.

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 = 	 {Pratt, V.},
    title = 	 {Origins of the calculus of binary relations},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1992},
    year =	 1992,
    editor =	 {Andre Scedrov},
    month =	 {June}, 
    pages =      {248--254},
    location =   {Santa Cruz, CA, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }