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 条
  • [41] Natural deduction for intuitionistic non-commutative linear logic
    Polakow, J
    Pfenning, F
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 295 - 309
  • [42] Semantic cut elimination in the intuitionistic sequent calculus
    Hermant, O
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 221 - 233
  • [43] On sequent calculi for intuitionistic propositional logic
    Svejdar, Vitezslav
    COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2006, 47 (01): : 159 - 173
  • [44] A Nonmonotonic Modal Relevant Sequent Calculus
    Shimamura, Shuhei
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 570 - 584
  • [45] Sequent calculus for classical logic probabilized
    Boricic, Marija
    ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 119 - 136
  • [46] Natural deduction calculus for linear-time temporal logic
    Bolotov, Alexander
    Basukoski, Artie
    Grigoriev, Oleg
    Shangin, Vasilyi
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 56 - 68
  • [47] A sequent calculus for skeptical default logic
    Bonatti, PA
    Olivetti, N
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 107 - 121
  • [48] Labelled Sequent Calculus for Inquisitive Logic
    Chen, Jinsheng
    Ma, Minghui
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 526 - 540
  • [49] A simple sequent calculus for nominal logic
    Cheney, James
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 699 - 726
  • [50] A SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
    VALENTINI, S
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 707 - 708
12345