Aranda, V. A Completeness Theorem for a Functionally Complete Łukasiewicz Logic. LLP 2026, 1-12.