Pynko, Alexej P. “Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics”. Bulletin of the Section of Logic 44, no. 3/4 (January 1, 2015): 149–153. Accessed May 15, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/16230.