A. P. Pynko, “Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics”, B Sect Log, vol. 44, no. 3/4, pp. 149–153, Jan. 2015, doi: 10.18778/0138-0680.44.3.4.04.