A Completeness Theorem for a Functionally Complete Łukasiewicz Logic
DOI:
https://doi.org/10.12775/LLP.2026.010Keywords
many-valued logics, three-valued logics, propositional logic, non-classical logicsAbstract
We present a new axiomatization for a truth-functionally complete version of Ł3, a three-valued propositional logic, using two propositional constants and the Łukasiewicz implication as primitive symbols. We develop a corresponding proof system that incorporates Łukasiewicz’s axioms, a variant of Słupecki’s postulates for a 0-ary connective, and some properties of the Baaz delta operation. Using a weakened Deduction Theorem and adapting Henkin’s method to this three-valued setting, we establish a Completeness Theorem for the system.
References
Avron, A., 1991, “Natural 3-valued logics: Characterization and proof theory”, The Journal of Symbolic Logic, 56(1): 276–294. DOI: https://doi.org/10.2307/2274919
Baaz, M., 1996, “Infinite-valued Gödel logics with 0-1-projections and relativizations”, pages 23–33 in P. Hájek (ed.), GÖDEL’96 – Logical Foundations of Mathematics, Computer Science and Physics, Lecture Notes in Logic, 6, Springer Verlag.
Goldberg, H., H. LeBlanc and G. Weaver, 1974, “A strong completeness theorem for 3-valued logic”, Notre Dame Journal of Formal Logic, 15(2): 325–330. DOI: https://doi.org/10.1305/ndjfl/1093891310
Hájek, P., 1998, Metamathematics of Fuzzy Logic, Vol. 4, Springer Science & Business Media. DOI: https://doi.org/10.1007/978-94-011-5300-3
Malinowski, G., 2007, “Many-valued logic and its philosophy”, pages 13–94 in D. M. Gabbay and J. Woods (eds.) Handbook of the History of Logic, Vol. 8, North-Holland, Amsterdam. DOI: https://doi.org/10.1016/S1874-5857(07)80004-5
Novak, V., 2005, “On fuzzy type theory”, Fuzzy Sets and Systems, 149(2): 235–273. DOI: https://doi.org/10.1016/j.fss.2004.03.027
Słupecki, J., 1946, “Pełny trójwartościowy rachunek zdań” (The complete three-valued propositional calculus), Annales Universitatis Mariae Curie-Skłodowska, 1: 193–209.
Słupecki, J., 1967, “The full three-valued propositional calculus”, pages 335–337 in: S. McCall (ed.), Polish Logic 1920–1939, Clarendon Press, Oxford.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2026 Víctor Aranda
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 15
Number of citations: 0
