COMPLETENESS OF AN ANCIENT LOGIC

被引：74

作者：

CORCORAN, J ^{[1
]}

机构：

[1] SUNY, AMHERST, NY 14226 USA

来源：

关键词：

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 LynnE., 1968, ARISTOTLES SYLLOGIST

[8]

Ross W.D., 1965, Aristotle's Prior and posterior Analytics