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] Improving the efficiency of using multivalued logic tools: application of algebraic rings
    Suleimenov, Ibragim E.
    Vitulyova, Yelizaveta S.
    Kabdushev, Sherniyaz B.
    Bakirov, Akhat S.
    SCIENTIFIC REPORTS, 2023, 13 (01)
  • [22] 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
  • [23] ON PARACONSISTENT DEONTIC LOGIC
    DACOSTA, NCA
    CARNIELLI, WA
    PHILOSOPHIA, 1986, 16 (3-4) : 293 - 305
  • [24] Circumscription in a paraconsistent logic
    Ruan Jian Xue Bao, 5 (290):
  • [25] PARACONSISTENT LOGIC PROGRAMMING
    BLAIR, HA
    SUBRAHMANIAN, VS
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 340 - 360
  • [26] Paraconsistent informational logic
    Forcheri, Paola
    Gentilini, Paolo
    Journal of Applied Logic, 2005, 3 (01) : 97 - 118
  • [27] A Paraconsistent Conditional Logic
    Ma, Minghui
    Wong, Chun-Ting
    JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (05) : 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] A Paraconsistent Conditional Logic
    Minghui Ma
    Chun-Ting Wong
    Journal of Philosophical Logic, 2020, 49 : 883 - 903
12345