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