Three-Valued Paraconsistent Propositional Logics

被引：24

作者：

Arieli, Ofer ^{[1
]}

Avron, Arnon ^{[2
]}

机构：

[1] Acad Coll Tel Aviv, Sch Comp Sci, Tel Aviv, Israel

[2] Tel Aviv Univ, Sch Comp Sci, IL-69978 Tel Aviv, Israel

来源：

NEW DIRECTIONS IN PARACONSISTENT LOGIC | 2015年 / 152卷

关键词：

Paraconsistency; 3-valued matrices; Proof systems;

D O I：

10.1007/978-81-322-2719-9_4

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Three-valued matrices provide the simplest semantic framework for introducing paraconsistent logics. This paper is a comprehensive study of the main properties of propositional paraconsistent three-valued logics in general, and of the most important such logics in particular. For each logic in the latter group, we also provide a corresponding cut-free Gentzen-type system.

引用

页码：91 / 129

页数：39

共 39 条

[1]

Anderson A. R., 1975, ENTAILMENT

[2]

[Anonymous], 1950, Introduction to Metamathematics

[3]

[Anonymous], 2005, J APPL LOGIC

[4]

[Anonymous], 1990, Propositional Logics