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 条
  • [21] Natural deduction for bi-intuitionistic logic
    Tranchini, Luca
    JOURNAL OF APPLIED LOGIC, 2017, 25 : S72 - S96
  • [22] Natural Deduction Systems for Intuitionistic Logic with Identity
    Chlebowski, Szymon
    Gawek, Marta
    Tomczyk, Agata
    STUDIA LOGICA, 2022, 110 (06) : 1381 - 1415
  • [23] Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
    Castano, Diego
    Manuel Cornejo, Juan
    STUDIA LOGICA, 2016, 104 (06) : 1245 - 1265
  • [24] Upper and Lower Bounds for the Height of Proofs in Sequent Calculus for Intuitionistic Logic
    Orevkov V.P.
    Journal of Mathematical Sciences, 2023, 275 (2) : 195 - 224
  • [25] Natural Deduction for Dual-intuitionistic Logic
    Tranchini, Luca
    STUDIA LOGICA, 2012, 100 (03) : 631 - 648
  • [26] Natural Deduction Systems for Intuitionistic Logic with Identity
    Szymon Chlebowski
    Marta Gawek
    Agata Tomczyk
    Studia Logica, 2022, 110 : 1381 - 1415
  • [27] A cut-free sequent calculus for relevant logic RW*
    Ilic, Mirjana
    Boricici, Branislav
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 673 - 695
  • [28] Natural deduction calculus for computation tree logic
    Bolotov, Alexander
    Grigoriev, Oleg
    Shangin, Vasilyi
    IEEE JOHN VINCENT ATANASOFF 2006 INTERNATIONAL SYMPOSIUM ON MODERN COMPUTING, PROCEEDINGS, 2006, : 175 - +
  • [29] Monadic Translation of Intuitionistic Sequent Calculus
    Santo, Jose Espirito
    Matthes, Ralph
    Pinto, Luis
    TYPES FOR PROOFS AND PROGRAMS, 2009, 5497 : 100 - +
  • [30] PROOF SEARCH IN THE INTUITIONISTIC SEQUENT CALCULUS
    SHANKAR, N
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 522 - 536
12345