首页> 外文会议>Annual IEEE Symposium on Logic in Computer Science >Origins of the calculus of binary relations
【24h】

Origins of the calculus of binary relations

机译:二元关系微积分的起源

获取原文

摘要

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年代和1950年代。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号