Paraconsistent Logic: Consistency, Contradiction and Negation

被引：0
|
作者：
Rodrigues, Abilio [1 ]
机构：
[1] Univ Fed Minas Gerais, Dept Philosophy, Belo Horizonte, MG, Brazil
来源：
HISTORY AND PHILOSOPHY OF LOGIC | 2021年 / 42卷 / 03期
关键词：
D O I：
10.1080/01445340.2021.1895592
中图分类号：
B82 [伦理学（道德学）];
学科分类号：
摘要：
引用
收藏
页码：300 / 306
页数：7
相关论文
共 50 条
  • [1] Paraconsistent Logic: Consistency, Contradiction and Negation
    Antunes, Henrique
    Ciccarelli, Vincenzo
    [J]. MANUSCRITO, 2018, 41 (02) : 111 - 122
  • [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
12345