COMPLETENESS OF AN ANCIENT LOGIC

被引：73
作者：
CORCORAN, J [1 ]
机构：
[1] SUNY, AMHERST, NY 14226 USA
来源：
JOURNAL OF SYMBOLIC LOGIC | 1972年 / 37卷 / 04期
关键词：
D O I：
10.2307/2272415
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：696 / 702
页数：7
相关论文
共 8 条
  • [1] ARISTOTLE, PRIOR ANALYTICS
  • [2] BOCHENSKI IM, 1970, HISTORY FORMAL LOGIC
  • [3] CHURCH A, 1956, INTRO MATHEMATICAL L, V1
  • [4] CORCORAN J, 1972, J SYMBOLIC LOGIC, V37, P437
  • [5] CORCORAN J, TO BE PUBLISHED
  • [6] LUKASIEWCZ J, 1951, ARISTOTLES SYLLOGIST
  • [7] Rose L.E., 1968, ARISTOTLES SYLLOGIST
  • [8] Ross W.D., 1965, ARISTOTLES PRIOR POS
1