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 条
  • [21] Annotated Paraconsistent Logic
    Martins, Helga Gonzaga
    Valerio de Moraes, Carlos Henrique
    de Almeida Costa, Claudio Inacio
    Lambert-Torres, Germano
    Faria Neto, Antonio
    ADVANCES IN TECHNOLOGICAL APPLICATIONS OF LOGICAL AND INTELLIGENT SYSTEM, 2009, 186 : 85 - 113
  • [22] ON PARACONSISTENT DEONTIC LOGIC
    DACOSTA, NCA
    CARNIELLI, WA
    PHILOSOPHIA, 1986, 16 (3-4) : 293 - 305
  • [23] PARACONSISTENT LOGIC PROGRAMMING
    BLAIR, HA
    SUBRAHMANIAN, VS
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 340 - 360
  • [24] Circumscription in a paraconsistent logic
    Ruan Jian Xue Bao, 5 (290):
  • [25] A Paraconsistent Conditional Logic
    Ma, Minghui
    Wong, Chun-Ting
    JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (05) : 883 - 903
  • [26] Paraconsistent informational logic
    Forcheri, Paola
    Gentilini, Paolo
    Journal of Applied Logic, 2005, 3 (01) : 97 - 118
  • [27] A Paraconsistent Conditional Logic
    Minghui Ma
    Chun-Ting Wong
    Journal of Philosophical Logic, 2020, 49 : 883 - 903
  • [28] PARACONSISTENT LOGIC PROGRAMMING
    BLAIR, HA
    SUBRAHMANIAN, VS
    THEORETICAL COMPUTER SCIENCE, 1989, 68 (02) : 135 - 154
  • [29] A SURVEY OF PARACONSISTENT LOGIC
    ARRUDA, AI
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 181 - 181
  • [30] An algebraic approach to sharing analysis of logic programs
    Codish, M
    Lagoon, V
    Bueno, F
    JOURNAL OF LOGIC PROGRAMMING, 2000, 42 (02): : 111 - 149
12345