%0 Journal Article
%A Aranda Utrero, Víctor
%T A completeness theorem for a functionally complete Łukasiewicz logic
%D 2025
%@ 1425-3305
%U https://hdl.handle.net/20.500.14352/123833
%X 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 propositional constants and the Łukasiewicz implication as primitive symbols) and prove a Completeness Theorem.
%~