Circumscription in a paraconsistent logic

被引：0
|
作者：
机构：
来源：
Ruan Jian Xue Bao | / 5卷 / 290期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Paraconsistent ideas in quantum logic
    Dalla Chiara, ML
    Giuntini, R
    SYNTHESE, 2000, 125 (1-2) : 55 - 68
  • [22] Paraconsistent Godel Modal Logic
    Bilkova, Marta
    Frittella, Sabine
    Kozhemiachenko, Daniil
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 429 - 448
  • [23] Paraconsistent Computation Tree Logic
    Kaneiwa, Ken
    Kamide, Norihiro
    NEW GENERATION COMPUTING, 2011, 29 (04) : 391 - 408
  • [24] Paraconsistent Logic, Evidence, and Justification
    Melvin Fitting
    Studia Logica, 2017, 105 : 1149 - 1166
  • [25] The Paraconsistent Logic of Quantum Superpositions
    da Costa, N.
    de Ronde, C.
    FOUNDATIONS OF PHYSICS, 2013, 43 (07) : 845 - 858
  • [26] Categorical consequence for paraconsistent logic
    Johnson, F
    Woodruff, PW
    PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 141 - 150
  • [27] Real Analysis in Paraconsistent Logic
    McKubre-Jordens, Maarten
    Weber, Zach
    JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (05) : 901 - 922
  • [28] Paraconsistent Logic, Evidence, and Justification
    Fitting, Melvin
    STUDIA LOGICA, 2017, 105 (06) : 1149 - 1166
  • [29] Paraconsistent ideas in quantum logic
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Synthese, 2000, 125 : 55 - 68
  • [30] Combining Paraconsistent Logic with Argumentation
    Grooters, Diana
    Prakken, Henry
    COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 : 301 - 312
12345