ALGEBRAIC PROPERTIES OF THE SPACE OF MULTIVALUED AND PARACONSISTENT LOGIC PROGRAMS

被引：0
|
作者：
SUBRAHMANIAN, VS
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 405卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：56 / 67
页数：12
相关论文
共 50 条
  • [41] A paraconsistent higher order logic
    Villadsen, J
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 38 - 51
  • [42] Paraconsistent Godel Modal Logic
    Bilkova, Marta
    Frittella, Sabine
    Kozhemiachenko, Daniil
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 429 - 448
  • [43] INDUCTIVE INFERENCE OF LOGIC PROGRAMS BASED ON ALGEBRAIC SEMANTICS
    SAKAKIBARA, Y
    NEW GENERATION COMPUTING, 1990, 7 (04) : 365 - 380
  • [44] Paraconsistent Computation Tree Logic
    Kaneiwa, Ken
    Kamide, Norihiro
    NEW GENERATION COMPUTING, 2011, 29 (04) : 391 - 408
  • [45] Real Analysis in Paraconsistent Logic
    McKubre-Jordens, Maarten
    Weber, Zach
    JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (05) : 901 - 922
  • [46] Paraconsistent Logic, Evidence, and Justification
    Fitting, Melvin
    STUDIA LOGICA, 2017, 105 (06) : 1149 - 1166
  • [47] Paraconsistent ideas in quantum logic
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Synthese, 2000, 125 : 55 - 68
  • [48] Cognitive agents and paraconsistent logic
    Angelotti, ES
    Scalabrin, EE
    ADVANCED DISTRUBUTED SYSTEMS, 2004, 3061 : 91 - 104
  • [49] Real Analysis in Paraconsistent Logic
    Maarten McKubre-Jordens
    Zach Weber
    Journal of Philosophical Logic, 2012, 41 : 901 - 922
  • [50] Combining Paraconsistent Logic with Argumentation
    Grooters, Diana
    Prakken, Henry
    COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 : 301 - 312
12345