Pynko, A. P. Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics. B Sect Log 2015, 44, 149–153.