Pynko, A. P. (2015). Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics. Bulletin of the Section of Logic, 44(3/4), 149–153. https://doi.org/10.18778/0138-0680.44.3.4.04