This article is cited in 3 papers

Mathematics

Deduction normalization theorem for Sette's logic and its modifications

Ya. I. Petrukhin

Lomonosov Moscow State University, Faculty of Philosophy

Abstract: In this paper we formulate natural deduction systems for Sette's three-valued paraconsistent logic $\bf P^1$ and some related logics. For presented calculi we prove soundness, completeness, and normalization theorems.

Key words: normalization, natural deduction system, three-valued logic, four-valued logic, paraconsistent logic, paracomplete logic.

UDC: 510.644

Received: 01.12.2017

 English version: Moscow University Mathematics Bulletin, Moscow University Mеchanics Bulletin, 2019, 74:1, 25–31

Bibliographic databases:

• 
• 
• 
•