V. Aranda, “A Completeness Theorem for a Functionally Complete Łukasiewicz Logic”, LLP, pp. 1–12, Aug. 2025.