Sasaki K. A Sequent System without Improper Derivations. B Sect Log [Internet]. 2021 Oct. 14 [cited 2025 Dec. 8];51(1):91-108. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/9188