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 条
  • [21] A three-valued semantics for logic programmers
    Naish, Lee
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 509 - 538
  • [22] MEDIUM LOGIC AND WOODRUFF'S THREE-VALUED LOGIC
    李祥
    李广元
    Science Bulletin, 1990, (08) : 622 - 626
  • [23] Self-extensional three-valued paraconsistent logics have no implication
    Avron, Arnon
    Beziau, Jean-Yves
    LOGIC JOURNAL OF THE IGPL, 2017, 25 (02) : 183 - 194
  • [24] Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
    Hernandez-Tello, Alejandro
    Borja Macias, Veronica
    Coniglio, Marcelo E.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 354 : 61 - 74
  • [25] Three-valued completion for abductive logic programs
    Teusink, F
    THEORETICAL COMPUTER SCIENCE, 1996, 165 (01) : 171 - 200
  • [26] Erotetic Search Scenarios and Three-Valued Logic
    Leszczynska-Jasion, Dorota
    Lupkowski, Pawel
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2016, 25 (01) : 51 - 76
  • [27] Three-valued Logic, Indeterminacy and Quantum Mechanics
    Tomasz Bigaj
    Journal of Philosophical Logic, 2001, 30 : 97 - 119
  • [28] Implicatively Implicit Extensions in Three-Valued Logic
    S. S. Marchenkov
    Moscow University Computational Mathematics and Cybernetics, 2024, 48 (1) : 7 - 14
  • [29] Three-valued logic in bounded model checking
    Schuele, T
    Schneider, K
    THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
  • [30] Correlation immunity of three-valued logic functions
    Sokolov, A., V
    Zhdanov, O. N.
    JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2022, 25 (06): : 1649 - 1665
12345