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 条

[1] Deduction Normalization Theorem for Sette’s Logic and Its Modifications
Ya. I. Petrukhin
Moscow University Mathematics Bulletin, 2019, 74 : 25 - 31
[2] On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
Aschieri, Federico
Zorzi, Margherita
THEORETICAL COMPUTER SCIENCE, 2016, 625 : 125 - 146
[3] Natural Deduction for Full S5 Modal Logic with Weak Normalization
Martins, Ana Teresa
Martins, Lilia Ramalho
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 129 - 140
[4] Natural deduction and weak normalization for full linear logic
Martins, Lilia Ramalho
Martins, Ana Teresa
LOGIC JOURNAL OF THE IGPL, 2004, 12 (06) : 601 - 625
[5] Does the deduction theorem fail for modal logic?
Raul Hakli
Sara Negri
Synthese, 2012, 187 : 849 - 867
[6] Does the deduction theorem fail for modal logic?
Hakli, Raul
Negri, Sara
SYNTHESE, 2012, 187 (03) : 849 - 867
[7] A deduction theorem for normal modal propositional logic
Buvac, S
MODELING AND USING CONTEXT, PROCEEDINGS, 2003, 2680 : 107 - 115
[8] Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
Ballarin, Roberta
HISTORY AND PHILOSOPHY OF LOGIC, 2024,
[9] THE DEDUCTION THEOREM FOR QUANTUM LOGIC - SOME NEGATIVE RESULTS
MALINOWSKI, J
JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (02) : 615 - 625
[10] Gentzen's proof of normalization for natural deduction
von Plato, Jan
BULLETIN OF SYMBOLIC LOGIC, 2008, 14 (02) : 240 - 244

← 1 2 3 4 5 →