未找到相关数据
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
被引：0
作者：
Norihiro Kamide
Yoni Zohar
机构：
[1] Teikyo University,Department of Information and Electronic Engineering Faculty of Science and Engineering
[2] Stanford University,Computer Science Department
来源：
Studia Logica
|
2020年
/
108卷
关键词：
Ideal paraconsistent four-valued logic;
4CC;
Completeness theorem;
Cut-elimination theorem;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte’s method, which can simultaneously prove completeness and cut-elimination.
引用
收藏
页码：549 / 571
页数：22
相关论文
未找到相关数据