ON A NEW THREE-VALUED PARACONSISTENT LOGIC

被引：0
|
作者：
Olkhovikov, Grigory [1 ]
机构：
[1] Ural Fed Univ, Ekaterinburg, Russia
来源：
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS | 2016年 / 3卷 / 03期
关键词：
D O I：
暂无
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：317 / 334
页数：18
相关论文
共 50 条
  • [41] Formal axiomatic theories based on a three-valued logic
    Zaslavsky I.D.
    Journal of Mathematical Sciences, 2005, 130 (2) : 4578 - 4597
  • [42] Incidence calculus on Lukasiewicz's three-valued logic
    Qi, GL
    Milligan, P
    Sage, P
    FUNDAMENTA INFORMATICAE, 2005, 68 (04) : 357 - 378
  • [43] 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
  • [44] A THREE-VALUED MODAL TENSE LOGIC FOR THE MASTER ARGUMENT
    Akama, Seiki
    Murai, Tetsuya
    Miyamoto, Sadaaki
    LOGIQUE ET ANALYSE, 2011, (213) : 19 - 30
  • [45] Logic Programs under Three-Valued Lukasiewicz Semantics
    Hoelldobler, Steffen
    Ramli, Carroline Dewi Puspa Kencana
    LOGIC PROGRAMMING, 2009, 5649 : 464 - 478
  • [46] Three-valued and four-valued approach to logic programming with negation
    Ying, Ming-sheng
    Liu, Fu-chun
    Chinese Journal of Advanced Software Research, 1999, 6 (01): : 71 - 83
  • [47] Kleene's three-valued logic and process algebra
    Bergstra, JA
    Ponse, A
    INFORMATION PROCESSING LETTERS, 1998, 67 (02) : 95 - 103
  • [48] Basic positively closed classes in three-valued logic
    Marchenkov, Sergey S.
    Chernyshev, Anatoliy V.
    DISCRETE MATHEMATICS AND APPLICATIONS, 2018, 28 (03): : 157 - 165
  • [49] A three-valued characterization for strong equivalence of logic programs
    Cabalar, P
    EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 106 - 111
  • [50] LOGICAL RELATIONS BETWEEN CONDITIONALS AND THREE-VALUED LOGIC
    Belikov, Alexander A.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2023, 71 : 5 - 12
12345