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