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 条

[1] Deduction Normalization Theorem for Sette's Logic and Its Modifications
Petrukhin, Ya. I.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2019, 74 (01) : 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 →