Lics

ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Seventh Annual IEEE Symposium on

Logic in Computer Science (LICS 1992)

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}
  }
   

Last modified: 2021-11-1017:16
Sam Staton