RT Journal Article
T1 A completeness theorem for a functionally complete Łukasiewicz logic
A1 Aranda Utrero, Víctor
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 propositional constants and the Łukasiewicz implication as primitive symbols) and prove a Completeness Theorem.
PB Uniwersytet Mikołaja Kopernika
SN 1425-3305
YR 2025
FD 2025
LK https://hdl.handle.net/20.500.14352/123833
UL https://hdl.handle.net/20.500.14352/123833
LA eng
NO Aranda, V. (2025) “A Completeness Theorem for a Functionally Complete Łukasiewicz Logic”, Logic and Logical Philosophy, pp. 1–12. doi: 10.12775/LLP.2025.014.
NO Comunidad de Madrid
NO Ministerio de Ciencia e Innovación (España)
DS Docta Complutense
RD 21 mar 2026