On Axiom Systems of Supecki for the Functionally Complete Three-Valued Logic

被引：3
|
作者：
Radzki, Mateusz M. [1 ]
机构：
[1] Maria Grzegorzewska Univ, Inst Philosophy & Sociol, Ul Szczesliwicka 40, PL-02353 Warsaw, Poland
来源：
AXIOMATHES | 2017年 / 27卷 / 04期
关键词：
Functional incompleteness; Semantic incompleteness; Slupecki's axiom systems; Three-valued logic;
D O I：
10.1007/s10516-016-9319-x
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
The article concerns two axiom systems of Supecki for the functionally complete three-valued propositional logic: W1-W6 (from 1936) and A1-A9 (from 1946). The article proves that both of them are inadequate-W1-W6 is semantically incomplete, on the other hand, A1-A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.
引用
收藏
页码：403 / 415
页数：13
相关论文
共 50 条
  • [1] On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic
    Mateusz M. Radzki
    Axiomathes, 2017, 27 : 403 - 415
  • [2] The cylindric algebras of three-valued logic
    Feldman, N
    JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (04) : 1201 - 1217
  • [3] A Three-Valued Fregean Quantification Logic
    Minghui Ma
    Yuanlei Lin
    Journal of Philosophical Logic, 2019, 48 : 409 - 423
  • [4] Probabilistic inference on three-valued logic
    Qi, GL
    ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 690 - 693
  • [5] ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC
    Da Re, Bruno
    Szmuc, Damian
    Chemla, Emmanuel
    Egre, Paul
    REVIEW OF SYMBOLIC LOGIC, 2024, 17 (03): : 682 - 704
  • [6] Three-valued Logics in Modal Logic
    Barteld Kooi
    Allard Tamminga
    Studia Logica, 2013, 101 : 1061 - 1072
  • [7] A Three-Valued Fregean Quantification Logic
    Ma, Minghui
    Lin, Yuanlei
    JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (02) : 409 - 423
  • [8] Some criteria of decidability for axiomatic systems in three-valued logic
    Zaslavsky, I. D.
    LOGIC, LANGUAGE, AND COMPUTATION, 2007, 4363 : 247 - 259
  • [9] Three-valued Logics in Modal Logic
    Kooi, Barteld
    Tamminga, Allard
    STUDIA LOGICA, 2013, 101 (05) : 1061 - 1072
  • [10] ON A NEW THREE-VALUED PARACONSISTENT LOGIC
    Olkhovikov, Grigory
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (03): : 317 - 334
12345