Volume II: New advances in Logics of Formal Inconsistency

被引：0
|
作者：
Alejandro Barrio, Eduardo [1 ,2 ]
Carnielli, Walter [3 ]
机构：
[1] Consejo Nacl Invest Cient & Tecn, IIF SADAF, B1053, Buenos Aires, Buenos Aires, Argentina
[2] Univ Buenos Aires, B1053, Buenos Aires, Buenos Aires, 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/jzy063
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
[No abstract available]
引用
收藏
页码：845 / 850
页数：6
相关论文
共 50 条
  • [1] Volume I: Recovery operators in logics of formal inconsistency
    Alejandro Barrio, Eduardo
    Carnielli, Walter
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 615 - 623
  • [2] From logics of formal inconsistency to logics of formal classicality
    Omori, Hitoshi
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 684 - 711
  • [3] The inconsistency of certain formal logics
    Kleene, SC
    Rosser, JB
    ANNALS OF MATHEMATICS, 1935, 36 : 630 - 636
  • [4] 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
  • [5] Intuitionistic Implication and Logics of Formal Inconsistency
    Ciuciura, Janusz
    AXIOMS, 2024, 13 (11)
  • [6] On the Philosophy and Mathematics of the Logics of Formal Inconsistency
    Carnielli, Walter
    Rodrigues, Abilio
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 57 - 88
  • [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] Some Adaptive Contributions to Logics of Formal Inconsistency
    Batens, Diderik
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 309 - 333
  • [10] Logics of formal inconsistency based on distributive involutive residuated lattices
    Esteva, F.
    Figallo-Orellano, A.
    Flaminio, T.
    Godo, L.
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (05) : 1226 - 1265
12345