NATURAL-DEDUCTION RULES FOR SYLLOGISTIC

被引：0

|

作者：

BACON, J

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：686 / &

相关论文

共 50 条

[1] Harmony in Multiple-Conclusion Natural-Deduction
Francez, Nissim
[J]. LOGICA UNIVERSALIS, 2014, 8 (02) : 215 - 259
[2] Problem of finding a mapping between clause representation and natural-deduction representation
[J]. 1600, (06):
[3] INDIVIDUAL-DIFFERENCES IN SYLLOGISTIC REASONING - DEDUCTION RULES OR MENTAL MODELS
GALOTTI, KM
BARON, J
SABINI, JP
[J]. JOURNAL OF EXPERIMENTAL PSYCHOLOGY-GENERAL, 1986, 115 (01) : 16 - 25
[4] NATURAL DEDUCTION RULES FOR OBLIGATION
FITCH, FB
[J]. AMERICAN PHILOSOPHICAL QUARTERLY, 1966, 3 (01) : 27 - 38
[5] QUANTIFIER RULES AND NATURAL DEDUCTION
LEMMON, EJ
[J]. MIND, 1961, 70 (278) : 235 - 238
[6] More on the problem of finding a mapping between clause representation and natural-deduction representation
[J]. 1600, (07):
[7] On poly-logistic natural-deduction for finitely-valued propositional logics
Francez, Nissim
Kaminski, Michael
[J]. Journal of Applied Logics, 2019, 6 (02): : 255 - 288
[8] ON POLY-LOGISTIC NATURAL-DEDUCTION FOR FINITELY-VALUED PROPOSITIONAL LOGICS
Francez, Nissim
Kaminski, Michael
[J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (02): : 255 - 288
[9] Natural deduction with general elimination rules
von Plato, J
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40 (07) : 541 - 567
[10] SIMPLIFIED QUANTIFIER RULES FOR NATURAL DEDUCTION
WU, KJ
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1086 - 1087

← 1 2 3 4 5 →