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 条
  • [41] Minimal inconsistency-tolerant logics: a quantitative approach
    Strasser, Christian
    Molick, Sanderson
    AUSTRALASIAN JOURNAL OF LOGIC, 2025, 22 (03)
  • [42] Measuring inconsistency for description logics based on paraconsistent semantics
    Ma, Yue
    Qi, Guilin
    Hitzler, Pascal
    Lin, Zuoquan
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2007, 4724 : 30 - +
  • [43] Similarity-Based Inconsistency-Tolerant Logics
    Arieli, Ofer
    Zamansky, Anna
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 11 - 23
  • [44] Reasoning with Inconsistency-tolerant Fuzzy Description Logics
    Kamide, Norihiro
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, 2022, : 63 - 74
  • [45] Consequence-Inconsistency Interrelation: In the Framework of Paraconsistent Logics
    Dutta, Soma
    Chakraborty, Mihir K.
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 269 - 283
  • [46] Handling and measuring inconsistency in non-monotonic logics
    Ulbricht, Markus
    Thimm, Matthias
    Brewka, Gerhard
    ARTIFICIAL INTELLIGENCE, 2020, 286 (286)
  • [47] On the formal semantics of IF-like logics
    Figueira, Santiago
    Gorin, Daniel
    Grimson, Rafael
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (05) : 333 - 346
  • [48] A formal framework for description logics with uncertainty
    Haarslev, Volker
    Pai, Hsueh-leng
    Shiri, Nematollaah
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2009, 50 (09) : 1399 - 1415
  • [49] On the formal semantics of IF-like logics
    Figueira, Santiago
    Gorin, Daniel
    Grimson, Rafael
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 164 - +
  • [50] SOME LOGICS IN THE VICINITY OF INTERPRETABILITY LOGICS
    Celani, Sergio A.
    BULLETIN OF THE SECTION OF LOGIC, 2024, 53 (02): : 173 - 193
12345