Paraconsistent Logic: Consistency, Contradiction and Negation

被引：0

作者：

Antunes, Henrique ^{[1
]}

Ciccarelli, Vincenzo ^{[1
]}

机构：

[1] Univ Estadual Campinas, Dept Philosophy, Campinas, SP, Brazil

来源：

MANUSCRITO | 2018年 / 41卷 / 02期

关键词：

Paraconsistent Logic; LFIs;

D O I：

10.1590/0100-6045.2018.V41N2.HV

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

Review of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Camielli and Marcelo Coniglio

引用

页码：111 / 122

页数：12

共 50 条

[1] Paraconsistent Logic: Consistency, Contradiction and Negation
Rodrigues, Abilio
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 2021, 42 (03) : 300 - 306
[2] PARACONSISTENT NEGATION AND CLASSICAL NEGATION IN COMPUTATION TREE LOGIC
Kamide, Norihiro
Kaneiwa, Ken
[J]. ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 464 - 469
[3] Paraconsistent Logic and Weakening of Intuitionistic Negation
Majkic, Zoran
[J]. JOURNAL OF INTELLIGENT SYSTEMS, 2012, 21 (03) : 255 - 270
[4] Introducing consistency in a dialogical framework for paraconsistent logic
Alejandro Barrio, Eduardo
Clerbout, Nicolas
Rahman, Shahid
[J]. LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 953 - 972
[5] Negation and Paraconsistent Logics
Dutta, Soma
Chakraborty, Mihir K.
[J]. LOGICA UNIVERSALIS, 2011, 5 (01) : 165 - 176
[6] The basic constructive logic for negation-consistency
Robles G.
[J]. Journal of Logic, Language and Information, 2008, 17 (2) : 161 - 181
[7] Negation as finite failure is paraconsistent
Mascellani, P
[J]. IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 874 - 880
[8] Paraconsistent Double Negation That Can Simulate Classical Negation
Kamide, Norihiro
[J]. 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016, : 131 - 136
[9] TRUTH, NEGATION, AND CONTRADICTION
VONWRIGHT, GH
[J]. SYNTHESE, 1986, 66 (01) : 3 - 14
[10] Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic
Peter Verdée
[J]. Synthese, 2021, 198 : 5415 - 5449

← 1 2 3 4 5 →