Circumscription in a paraconsistent logic

被引：0
|
作者：
机构：
来源：
Ruan Jian Xue Bao | / 5卷 / 290期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Paraconsistent circumscription: Preliminary report
    Lin, ZQ
    INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 1996, 10 (06) : 679 - 686
  • [2] Paraconsistent Logic
    David Ripley
    Journal of Philosophical Logic, 2015, 44 : 771 - 780
  • [3] Paraconsistent Logic
    Ripley, David
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (06) : 771 - 780
  • [4] PARACONSISTENT LOGIC
    ALVES, EH
    JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 358 - 358
  • [5] Logic and aggregation (Paraconsistent logic)
    Brown, B
    Schotch, P
    JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (03) : 265 - 287
  • [6] PARADOXES OF LOGIC AND PARACONSISTENT LOGIC
    GUNTHER, A
    ZEITSCHRIFT FUR SEMIOTIK, 1995, 17 (3-4): : 379 - 403
  • [7] 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
  • [8] ON PARACONSISTENT DEONTIC LOGIC
    DACOSTA, NCA
    CARNIELLI, WA
    PHILOSOPHIA, 1986, 16 (3-4) : 293 - 305
  • [9] Paraconsistent logic programs
    Alcântara, J
    Damásio, CV
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 345 - 356
  • [10] PARACONSISTENT LOGIC PROGRAMMING
    BLAIR, HA
    SUBRAHMANIAN, VS
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 340 - 360
12345