RELEVANT PREDICATION .1. THE FORMAL THEORY

被引：27

作者：

DUNN, JM

机构：

来源：

关键词：

D O I：

10.1007/BF00431183

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

页码：347 / 381

页数：35

共 21 条

[11] COMPLETENESS OF NORMAL TYPED FRAGMENT OF LAMBDA-SYSTEM U [J].

HELMAN, G .

[12]

HELMAN G, ENTAILMENT LOGIC REL, V2

[13]

HELMAN GH, 1977, THESIS U PITTSBURGH

[14]

Leblanc H, 1974, NOTRE DAME J FORM LO, V15, P97, DOI [10.1305/ndjfl/1093891202, DOI 10.1305/NDJFL/1093891202]

[15]

Meyer R. K., 1976, B SECTION LOGIC, V5, P133

[16]

MEYER RK, 1975, ENTAILMENT LOGIC REL

[17]

MEYER RK, 1976, I PHILOS SOCIOLOGY P, V5, P133

[18]

MEYER RK, 1973, UNPUB COHERENCE REVI

[19]

POTTINGER G, 1972, THESIS U PITTSBURGH

[20]

Routley R., 1972, NOUS, V6, P335, DOI 10.2307/2214309