NATURAL DEDUCTION AND SEQUENT CALCULUS FOR INTUITIONISTIC RELEVANT LOGIC

被引：12

|

作者：

TENNANT, N

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 03期

关键词：

D O I：

10.2307/2274355

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：665 / 680

页数：16

相关论文

共 50 条

[1] A NATURAL DEDUCTION AND ITS CORRESPONDING SEQUENT CALCULUS FOR POSITIVE CONTRACTION-LESS RELEVANT LOGIC
Ilic, Mirjana
REPORTS ON MATHEMATICAL LOGIC, 2017, 52 : 101 - 132
[2] Sequent calculus in natural deduction style
Negri, S
von Plato, J
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) : 1803 - 1816
[3] Sequent Calculus for Intuitionistic Epistemic Logic IEL
Krupski, Vladimir N.
Yatmanov, Alexey
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 187 - 201
[4] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Figallo, Martin
STUDIA LOGICA, 2021, 109 (06) : 1347 - 1373
[5] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Martín Figallo
Studia Logica, 2021, 109 : 1347 - 1373
[6] Emptiness and Discharge in Sequent Calculus and Natural Deduction
Arndt, Michael
Tranchini, Luca
RECENT TRENDS IN PHILOSOPHICAL LOGIC, 2014, 41 : 13 - 29
[7] A SIMULATION OF NATURAL DEDUCTION AND GENTZEN SEQUENT CALCULUS
Kozhemiachenko, Daniil
LOGIC AND LOGICAL PHILOSOPHY, 2018, 27 (01) : 67 - 84
[8] Translations from natural deduction to sequent calculus
von Plato, J
MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (05) : 435 - 443
[9] A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic
Nomura, Shoshin
Sano, Katsuhiko
Tojo, Satoshi
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 187 - 202
[10] Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Martín Figallo
Studia Logica, 2022, 110 : 879 - 879

← 1 2 3 4 5 →