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
关键词
D O I
10.1093/jigpal/jzy053
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
[No abstract available]
引用
收藏
页码:615 / 623
页数:9
相关论文
共 50 条
  • [31] Three-valued logics for inconsistency handling
    Konieczny, S
    Marquis, P
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 332 - 344
  • [32] Logics with aggregate operators
    Hella, L
    Libkin, L
    Nurmonen, J
    Wong, LS
    JOURNAL OF THE ACM, 2001, 48 (04) : 880 - 907
  • [33] Logics with Rank Operators
    Dawar, Anuj
    Grohe, Martin
    Holm, Bjarki
    Laubner, Bastian
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 113 - +
  • [34] Fuzzy sets and formal logics
    Godo, Lluis
    Gottwald, Siegfried
    FUZZY SETS AND SYSTEMS, 2015, 281 : 44 - 60
  • [35] NONSTANDARD MODELS FOR FORMAL LOGICS
    ROSSER, JB
    WANG, H
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1949, 55 (09) : 875 - 875
  • [36] Formal logics for imprecise quantities
    Gottwald, Siegfried
    Informatik-Spektrum, 2015, 38 (06) : 533 - 542
  • [37] FORMAL LOGICS FOR COMMONSENSE REASONING
    BESNARD, P
    ANNALS OF TELECOMMUNICATIONS, 1989, 44 (5-6) : 242 - 250
  • [38] On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness
    Coniglio, Marcelo E.
    Gomez-Pereira, G. T.
    Figallo, Martin
    STUDIA LOGICA, 2024, 113 (1) : 183 - 224
  • [39] Minimal inconsistency-tolerant logics: a quantitative approach
    Strasser, Christian
    Molick, Sanderson
    AUSTRALASIAN JOURNAL OF LOGIC, 2025, 22 (03)
  • [40] 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 - +