Deduction Normalization Theorem for Sette's Logic and Its Modifications

被引：0
|
作者：
Petrukhin, Ya. I. [1 ]
机构：
[1] Moscow MV Lomonosov State Univ, Fac Philosophy, Moscow 119991, Russia
来源：
MOSCOW UNIVERSITY MATHEMATICS BULLETIN | 2019年 / 74卷 / 01期
关键词：
3-VALUED LOGIC;
D O I：
10.3103/S0027132219010054
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper we formulate natural deduction systems for Sette's three-valued paraconsistent logic P-1 and some related logics. For presented calculi we prove the soundness, completeness, and normalization theorems.
引用
收藏
页码：25 / 31
页数：7
相关论文
共 50 条
  • [21] Classical Natural Deduction for S4 Modal Logic
    Daisuke Kimura
    Yoshihiko Kakutani
    New Generation Computing, 2011, 29 : 61 - 86
  • [22] Classical Natural Deduction for S4 Modal Logic
    Kimura, Daisuke
    Kakutani, Yoshihiko
    NEW GENERATION COMPUTING, 2011, 29 (01) : 61 - 86
  • [23] Deduction Algorithms for Some Extensions of Allen’s Interval Logic
    Plesniewicz G.S.
    Nguyen Thi Minh Vu
    Scientific and Technical Information Processing, 2017, 44 (5) : 345 - 356
  • [24] PARACOMPLETE LOGIC Kl - NATURAL DEDUCTION, ITS AUTOMATION, COMPLEXITY AND APPLICATIONS
    Bolotov, Alexander
    Kozhemiachenko, Daniil
    Shangin, Vasilyi
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (01): : 221 - 261
  • [25] ON HERBRAND'S THEOREM FOR HYBRID LOGIC
    Costa, Diana
    Martins, Manuel A.
    Marcos, Joao
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (02): : 209 - 228
  • [26] On herbrand’s theorem for hybrid logic
    Costa, Diana
    Martins, Manuel A.
    Marcos, João
    Journal of Applied Logics, 2019, 6 (02): : 209 - 228
  • [27] On Herbrand's theorem for intuitionistic logic
    Lyaletski, Alexander
    Konev, Boris
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 293 - 305
  • [28] Montague's Theorem and Modal Logic
    Stern, Johannes
    ERKENNTNIS, 2014, 79 (03) : 551 - 570
  • [29] Skolem's Theorem in Coherent Logic
    Bezem, Marc
    Coquand, Thierry
    FUNDAMENTA INFORMATICAE, 2019, 170 (1-3) : 1 - 14
  • [30] Montague’s Theorem and Modal Logic
    Johannes Stern
    Erkenntnis, 2014, 79 : 551 - 570
12345