COMPLETENESS OF NORMAL TYPED FRAGMENT OF LAMBDA-SYSTEM U

被引：3
作者：
HELMAN, G [1 ]
机构：
[1] UNIV PITTSBURGH,PITTSBURGH,PA 15213
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1977年 / 6卷 / 01期
关键词：
D O I：
10.1007/BF00262047
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：33 / 46
页数：14
相关论文
共 15 条
[1]  
Anderson A. R., 1975, ENTAILMENT, V1
[2]  
BELNAP ND, UNPUBLISHED
[3]  
BELNAP ND, 1974, 1974 SOC EX PHIL M E
[4]  
CHIDGEY JR, UNPUBLISHED
[5]  
CHURCH A, 1941, ANN MATHEMATICS STUD, V6
[6]  
COLLIER KW, 1974, SEP P INT C REL LOG
[7]  
Curry H., 1958, COMBINATORY LOGIC, V1
[8]  
HOWARD WM, UNPUBLISHED
[9]  
MARTINLOF P, 1972, COMPOS MATH, V24, P93
[10]  
MYHILL J, TO BE PUBLISHED
12