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 条
  • [31] Combining Paraconsistent Logic with Argumentation
    Grooters, Diana
    Prakken, Henry
    COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 : 301 - 312
  • [32] Paraconsistent Logic, Evidence, and Justification
    Melvin Fitting
    Studia Logica, 2017, 105 : 1149 - 1166
  • [33] The Paraconsistent Logic of Quantum Superpositions
    da Costa, N.
    de Ronde, C.
    FOUNDATIONS OF PHYSICS, 2013, 43 (07) : 845 - 858
  • [34] On a Suggested Logic for Paraconsistent Mathematics
    Slaney, John
    AUSTRALASIAN JOURNAL OF LOGIC, 2025, 22 (02)
  • [35] Categorical consequence for paraconsistent logic
    Johnson, F
    Woodruff, PW
    PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 141 - 150
  • [36] The Paraconsistent Logic of Quantum Superpositions
    N. da Costa
    C. de Ronde
    Foundations of Physics, 2013, 43 : 845 - 858
  • [37] Paraconsistent Computation Tree Logic
    Ken Kaneiwa
    Norihiro Kamide
    New Generation Computing, 2011, 29 (4) : 391 - 408
  • [38] Frontiers of paraconsistent logic.
    Asenjo, FG
    HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (03) : 245 - 247
  • [39] Symmetric Paraconsistent Quantum Logic
    Kamide, Norihiro
    2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 26 - 32
  • [40] Leibnizian Identity and Paraconsistent Logic
    Abasnezhad, Ali
    HISTORY AND PHILOSOPHY OF LOGIC, 2020, 41 (03) : 236 - 243
12345