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 条
12345