Some Adaptive Contributions to Logics of Formal Inconsistency

被引：1
|
作者：
Batens, Diderik [1 ]
机构：
[1] Univ Ghent, Ctr Log & Philosophy Sci, Blandijnberg 2, B-9000 Ghent, Belgium
来源：
NEW DIRECTIONS IN PARACONSISTENT LOGIC | 2015年 / 152卷
关键词：
Paraconsistent logic; Logics of formal inconsistency; Inconsistency-adaptive logic;
D O I：
10.1007/978-81-322-2719-9_15
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Some insights were gained from the study of inconsistency-adaptive logics. The aim of the present paper is to put some of these insights to work for the study of logics of formal inconsistency. The focus of attention is application contexts of the aforementioned logics and their theoretical properties in as far as they are relevant for applications. As the questions discussed are difficult but important, a serious attempt was made to make the paper concise but transparent.
引用
收藏
页码：309 / 333
页数：25
相关论文
共 50 条
  • [1] From logics of formal inconsistency to logics of formal classicality
    Omori, Hitoshi
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 684 - 711
  • [2] The inconsistency of certain formal logics
    Kleene, SC
    Rosser, JB
    ANNALS OF MATHEMATICS, 1935, 36 : 630 - 636
  • [3] Tableau systems for logics of formal inconsistency
    Carnielli, WA
    Marcos, J
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 848 - 852
  • [4] Intuitionistic Implication and Logics of Formal Inconsistency
    Ciuciura, Janusz
    AXIOMS, 2024, 13 (11)
  • [5] On the Philosophy and Mathematics of the Logics of Formal Inconsistency
    Carnielli, Walter
    Rodrigues, Abilio
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 57 - 88
  • [6] First-order swap structures semantics for some logics of formal inconsistency
    Coniglio, Marcelo E.
    Figallo-Orellano, Aldo
    Golzio, Ana C.
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (06) : 1257 - 1290
  • [7] Fraisse's theorem for logics of formal inconsistency
    Mendonca, Bruno R.
    Carnielli, Walter A.
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 1060 - 1072
  • [8] TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
    Carnielli, Walter
    Rodrigues, Abilio
    MANUSCRITO, 2015, 38 (02) : 155 - 184
  • [9] Tutorial on Inconsistency-Adaptive Logics
    Batens, Diderik
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 3 - 38
  • [10] Volume II: New advances in Logics of Formal Inconsistency
    Alejandro Barrio, Eduardo
    Carnielli, Walter
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 845 - 850
12345