Three-valued logic for reasoning from an inconsistent knowledge base

被引：0
|
作者：
Faculty of Science and Technology, Tokyo University of Science, Chiba, 278-8510, Japan [1 ]
机构：
来源：
Syst Comput Jpn | 2006年 / 14卷 / 44-51期
关键词：
15;
D O I：
10.1002/scj.20539
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Erotetic Search Scenarios and Three-Valued Logic
    Dorota Leszczyńska-Jasion
    Paweł Łupkowski
    Journal of Logic, Language and Information, 2016, 25 : 51 - 76
  • [32] Algebraization of the three-valued BCK-logic
    Olmedo, FMG
    Salas, AJR
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (02) : 163 - 178
  • [33] A three-valued temporal logic for future contingents
    Akama, Seiki
    Nagata, Yasunori
    Yamada, Chikatoshi
    LOGIQUE ET ANALYSE, 2007, (198) : 99 - 111
  • [34] Three-valued logic, indeterminacy and quantum mechanics
    Bigal, T
    JOURNAL OF PHILOSOPHICAL LOGIC, 2001, 30 (02) : 97 - 119
  • [35] Three-Valued Paraconsistent Reasoning for Semantic Web Agents
    Nguyen, Linh Anh
    Szalas, Andrzej
    AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, 2010, 6070 : 152 - 162
  • [36] Rough Set Logic for Kleene's Three-valued Logic
    Nakayama, Yotaro
    Akama, Seiki
    Murai, Tetsuya
    2020 JOINT 11TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS AND 21ST INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS (SCIS-ISIS), 2020, : 43 - 47
  • [37] Formal axiomatic theories based on a three-valued logic
    Zaslavsky I.D.
    Journal of Mathematical Sciences, 2005, 130 (2) : 4578 - 4597
  • [38] Incidence calculus on Lukasiewicz's three-valued logic
    Qi, GL
    Milligan, P
    Sage, P
    FUNDAMENTA INFORMATICAE, 2005, 68 (04) : 357 - 378
  • [39] A THREE-VALUED MODAL TENSE LOGIC FOR THE MASTER ARGUMENT
    Akama, Seiki
    Murai, Tetsuya
    Miyamoto, Sadaaki
    LOGIQUE ET ANALYSE, 2011, (213) : 19 - 30
  • [40] A completeness theorem for three-valued temporal predicate logic
    Chirita, Carmen
    ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2008, 35 : 41 - 53
12345