PARACONSISTENT LOGIC PROGRAMMING

被引：140
|
作者：
BLAIR, HA
SUBRAHMANIAN, VS
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1989年 / 68卷 / 02期
关键词：
D O I：
10.1016/0304-3975(89)90126-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：135 / 154
页数：20
相关论文
共 50 条
  • [21] A paraconsistent higher order logic
    Villadsen, J
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 38 - 51
  • [22] Paraconsistent ideas in quantum logic
    Dalla Chiara, ML
    Giuntini, R
    SYNTHESE, 2000, 125 (1-2) : 55 - 68
  • [23] On the Paraconsistent Logic CG′3
    Perez-Gaspar, Miguel
    Borja Macias, Veronica
    Barcenas, Everardo
    COMPUTACION Y SISTEMAS, 2021, 25 (02): : 435 - 445
  • [24] Paraconsistent Godel Modal Logic
    Bilkova, Marta
    Frittella, Sabine
    Kozhemiachenko, Daniil
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 429 - 448
  • [25] Paraconsistent Computation Tree Logic
    Kaneiwa, Ken
    Kamide, Norihiro
    NEW GENERATION COMPUTING, 2011, 29 (04) : 391 - 408
  • [26] Real Analysis in Paraconsistent Logic
    McKubre-Jordens, Maarten
    Weber, Zach
    JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (05) : 901 - 922
  • [27] Paraconsistent Logic, Evidence, and Justification
    Fitting, Melvin
    STUDIA LOGICA, 2017, 105 (06) : 1149 - 1166
  • [28] Paraconsistent ideas in quantum logic
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Synthese, 2000, 125 : 55 - 68
  • [29] Cognitive agents and paraconsistent logic
    Angelotti, ES
    Scalabrin, EE
    ADVANCED DISTRUBUTED SYSTEMS, 2004, 3061 : 91 - 104
  • [30] Real Analysis in Paraconsistent Logic
    Maarten McKubre-Jordens
    Zach Weber
    Journal of Philosophical Logic, 2012, 41 : 901 - 922
12345