Volume I: Recovery operators in logics of formal inconsistency

被引：3
|
作者：
Alejandro Barrio, Eduardo [1 ,2 ]
Carnielli, Walter [3 ]
机构：
[1] Consejo Nacl Invest Cient & Tecn, IIF SADAF, B1053, Buenos Aires, DF, Argentina
[2] Univ Buenos Aires, B1053, Buenos Aires, DF, Argentina
[3] Univ Estadual Campinas, CLE, Cidade Univ Zeferino Vaz Baro Geraldo, BR-13083970 Campinas, SP, Brazil
来源：
LOGIC JOURNAL OF THE IGPL | 2020年 / 28卷 / 05期
关键词：
D O I：
10.1093/jigpal/jzy053
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
[No abstract available]
引用
收藏
页码：615 / 623
页数：9
相关论文
共 50 条
  • [21] ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
    Carnielli, Walter
    Coniglio, Marcelo E.
    Podiacki, Rodrigo
    Rodrigues, Tarcisio
    REVIEW OF SYMBOLIC LOGIC, 2014, 7 (03): : 548 - 578
  • [22] Formal Inconsistency and Quasimatrices
    Skansi, Sandro
    PROLEGOMENA, 2013, 12 (01): : 103 - +
  • [23] Tutorial on Inconsistency-Adaptive Logics
    Batens, Diderik
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 3 - 38
  • [24] INCONSISTENCY-ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency
    Lycke, Hans
    LOGIC AND LOGICAL PHILOSOPHY, 2010, 19 (1-2) : 31 - 61
  • [25] Semantical investigations on non-classical logics with recovery operators: negation
    Fuenmayor, David
    LOGIC JOURNAL OF THE IGPL, 2023,
  • [26] WHEN INCONSISTENCY IS INESCAPABLE - A SURVEY OF PARACONSISTENT LOGICS
    PRIEST, G
    SOUTH AFRICAN JOURNAL OF PHILOSOPHY-SUID-AFRIKAANSE TYDSKRIF VIR WYSBEGEERTE, 1988, 7 (02): : 83 - 89
  • [27] A tableau method for inconsistency-adaptive logics
    Batens, D
    Meheus, J
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 127 - 142
  • [28] Linear Programs for Measuring Inconsistency in Probabilistic Logics
    Potyka, Nico
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 568 - 577
  • [29] Measuring inconsistency with many-valued logics
    Thimm, Matthias
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 86 : 1 - 23
  • [30] Inconsistency-Tolerant Semantics for Description Logics
    Lembo, Domenico
    Lenzerini, Maurizio
    Rosati, Riccardo
    Ruzzi, Marco
    Savo, Domenico Fabio
    WEB REASONING AND RULE SYSTEMS, 2010, 6333 : 103 - 117
12345