NATURAL DEDUCTION CALCULI WITH RULES OF HIGHER LEVELS

被引：0

|

作者：

SCHROEDERHEISTER, P

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1985年 / 50卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：275 / 276

页数：2

相关论文

共 50 条

[1] Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics
Poggiolesi, Francesca
[J]. STUDIA LOGICA, 2016, 104 (05) : 1003 - 1036
[2] Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics
Francesca Poggiolesi
[J]. Studia Logica, 2016, 104 : 1003 - 1036
[3] NATURAL DEDUCTION RULES FOR OBLIGATION
FITCH, FB
[J]. AMERICAN PHILOSOPHICAL QUARTERLY, 1966, 3 (01) : 27 - 38
[4] QUANTIFIER RULES AND NATURAL DEDUCTION
LEMMON, EJ
[J]. MIND, 1961, 70 (278) : 235 - 238
[5] NATURAL-DEDUCTION RULES FOR SYLLOGISTIC
BACON, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 686 - &
[6] Natural deduction with general elimination rules
von Plato, J
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40 (07) : 541 - 567
[7] SIMPLIFIED QUANTIFIER RULES FOR NATURAL DEDUCTION
WU, KJ
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1086 - 1087
[8] Natural deduction with general elimination rules
Jan von Plato
[J]. Archive for Mathematical Logic, 2001, 40 : 541 - 567
[9] NATURAL DEDUCTION RULES FOR MODAL LOGICS
SATRE, TW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 369 - &
[10] ON THE CONNECTION BETWEEN SEQUENT-CALCULI AND NATURAL DEDUCTION
PEREIRA, LCPD
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 854 - 855

← 1 2 3 4 5 →