NATURAL DEDUCTION AND ARBITRARY OBJECTS

被引：23
作者：
FINE, K
机构：
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1985年 / 14卷 / 01期
关键词：
D O I：
10.1007/BF00542649
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：57 / 107
页数：51
相关论文
共 18 条
[1]  
COPI I. M., 1954, SYMBOLIC LOGIC
[2]  
FINE K, UNPUB REASONING ARBI
[3]  
Fine K., 1983, ARISTOTELIAN SOC S, V57, P55
[4]  
HAILPERIN T, 1957, J SYMBOLIC LOGIC, V22, P113
[5]  
HAILPERIN T, 1957, J SYMBOLIC LOGIC, V22, P17
[6]  
Hilbert David, 1934, GRUNDLAGEN MATH, V1
[7]  
KALISH D, 1967, J SYMBOLIC LOGIC, V32, P254
[8]  
KALISH D, 1964, LOGIC TECHNIQUES FOR
[9]  
LEMMON EJ, 1961, MIND, V70, P235
[10]  
LEMMON EJ, 1965, MIND, V74, P594
12