M. Pérez-Gaspar, J. M. Ramírez-Contreras, and J. S. Slagter, “Revisiting the Adequacy Theorem for Fragments of Łukasiewicz Logic”, B Sect Log, vol. 55, no. 2, pp. 247–279, Jun. 2026, doi: 10.18778/0138-0680.2026.08.