TY  - JOUR
AU  - Aranda Utrero, Víctor
PY  - 2025
DO  - 10.12775/LLP.2025.014
SN  - 1425-3305
UR  - https://hdl.handle.net/20.500.14352/123833
T2  - Logic and Logical Philosophy
AB  - Radzki has recently claimed the incompleteness of the axioms given by Słupecki for the functionally complete Ł3: some of its tautologies are not provable. In this paper, we provide a new axiom system for this logic (choosing a variant with two...
LA  - eng
M2  - 1
PB  - Uniwersytet Mikołaja Kopernika
KW  - Many-valued logics
KW  - Three-valued logics
KW  - Propositional logic
KW  - Non-classical logics
KW  - Fuzzy logic
TI  - A completeness theorem for a functionally complete Łukasiewicz logic
TY  - journal article
ER  -