Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation

被引：7

作者：

Luis Castiglioni, Jose ^{[1
]}

Ertola Biraben, Rodolfo C. ^{[2
]}

机构：

[1] Univ Nacl La Plata, Fac Ciencias Exactas, Dept Matemat, RA-1900 La Plata, Buenos Aires, Argentina

[2] Univ Estadual Campinas, CLE, BR-13083859 Campinas, SP, Brazil

来源：

LOGIC JOURNAL OF THE IGPL | 2014年 / 22卷 / 02期

关键词：

Intuitionistic logic; dual negation; paraconsistency; finite model property;

D O I：

10.1093/jigpal/jzt027

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa Logic. In particular, we prove the finite model property and strict paraconsistency of this logic.

引用

页码：268 / 273

页数：6