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 条

[31] Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
Alonderis R.
Lithuanian Mathematical Journal, 2000, 40 (4) : 310 - 328
[32] Falsification, natural deduction and bi-intuitionistic logic
Wansing, Heinrich
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (01) : 425 - 450
[33] A normalizing system of natural deduction for intuitionistic linear logic
Sara Negri
Archive for Mathematical Logic, 2002, 41 : 789 - 810
[34] A normalizing system of natural deduction for intuitionistic linear logic
Negri, S
ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (08) : 789 - 810
[35] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic (vol 109, pg 1347, 2021)
Figallo, Martin
STUDIA LOGICA, 2022, 110 (03) : 879 - 879
[36] A Sequent Calculus for Urn Logic
French, Rohan
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2015, 24 (02) : 131 - 147
[37] A Sequent Calculus for Urn Logic
Rohan French
Journal of Logic, Language and Information, 2015, 24 : 131 - 147
[38] A SEQUENT CALCULUS FOR KROGER LOGIC
SZABO, ME
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 295 - 303
[39] A sequent calculus for nominal logic
Gabbay, M
Cheney, J
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 139 - 148
[40] A sequent calculus for a logic of contingencies
Tiomkin, Michael
JOURNAL OF APPLIED LOGIC, 2013, 11 (04) : 530 - 535

← 1 2 3 4 5 →