Deduction Normalization Theorem for Sette’s Logic and Its Modifications

被引：0
|
作者：
Ya. I. Petrukhin
机构：
[1] Leninskie Gory,Moscow State University, Faculty of Philosophy
来源：
Moscow University Mathematics Bulletin | 2019年 / 74卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper we formulate natural deduction systems for Sette’s three-valued paraconsistent logic P1 and some related logics. For presented calculi we prove the soundness, completeness, and normalization theorems.
引用
收藏
页码：25 / 31
页数：6
相关论文
共 50 条
  • [31] Paracomplete logic Kl — Natural deduction, its automation,complexity and applications
    Bolotov, Alexander
    Kozhemiachenko, Daniil
    Shangin, Vasilyi
    Journal of Applied Logics, 2018, 5 (01): : 222 - 262
  • [32] Modifications of Bellman-Giertz's theorem
    Kang, T
    Chen, GZ
    FUZZY SETS AND SYSTEMS, 1998, 94 (03) : 349 - 353
  • [33] A THEOREM ON RANK ONE MODIFICATIONS TO A MATRIX AND ITS INVERSE
    POWELL, MJD
    COMPUTER JOURNAL, 1969, 12 (03): : 288 - &
  • [34] The projection of quasi variety and its application on geometric theorem proving and formula deduction
    Chen, XF
    Wang, DK
    AUTOMATED DEDUCTION IN GEOMETRY, 2004, 2930 : 21 - 30
  • [35] Some Modifications of Carnap's Modal Logic
    Puncochar, Vit
    STUDIA LOGICA, 2012, 100 (03) : 517 - 543
  • [36] Some Modifications of Carnap’s Modal Logic
    Vít Punčochář
    Studia Logica, 2012, 100 : 517 - 543
  • [37] A new S4 classical modal logic in natural deduction
    Medeiros, Maria Da Paz N.
    JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (03) : 799 - 809
  • [38] Application of Multi-Clause Synergized Deduction in First-Order Logic Automated Theorem Proving
    Cao F.
    Xu Y.
    Chen S.
    Wu G.
    Chang W.
    Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2020, 55 (02): : 401 - 408and427
  • [39] Natural deduction system for three-valued Heyting’s logic
    Petrukhin Y.I.
    Moscow University Mathematics Bulletin, 2017, 72 (3) : 133 - 136
  • [40] Deduction of L. Hormander's extension of Asgeirsson's mean value theorem
    Ortner, N
    Wagner, P
    BULLETIN DES SCIENCES MATHEMATIQUES, 2003, 127 (10): : 835 - 843
12345