Origins of the calculus of binary relations

[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Pub Date : 1992-06-22 DOI:10.1109/LICS.1992.185537

V. Pratt

引用次数: 13

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

查看原文本刊更多论文

二元关系演算的起源

本文考察了二元关系演算的起源，该演算由A. De Morgan(1860)提出，随后由C.S. Peirce(1933)和E. Schroder(1895)大力发展。从现代模式理论的角度，描述了它在20世纪40年代和50年代的进一步发展。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science

自引率

0.00%

发文量