New axioms improve completeness for functionally complete Łukasiewicz logic, indicating past limitations.
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.
No takes yet. Share an insight, caveat, or question.
Víctor Aranda (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: