Sasaki, Katsumi. 2021. “A Sequent System Without Improper Derivations”. Bulletin of the Section of Logic 51 (1):91-108. https://doi.org/10.18778/0138-0680.2021.21.