Deduction Normalization Theorem for Sette’s Logic and Its Modifications
Yaroslav Petrukhin · Moscow University Mathematics Bulletin · 2019
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.