• DocumentCode
    2894071
  • Title

    Origins of the calculus of binary relations

  • Author

    Pratt, Vaughan

  • Author_Institution
    Dept. of Comput. Sci., Stanford Univ., CA, USA
  • fYear
    1992
  • fDate
    22-25 Jun 1992
  • Firstpage
    248
  • Lastpage
    254
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/LICS.1992.185537
  • Filename
    185537
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2894071