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