Pynko AP. Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics. B Sect Log [Internet]. 2015 Jan. 1 [cited 2024 May 15];44(3/4):149–153. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/16230