Sasaki, K. 2021. A Sequent System without Improper Derivations. Bulletin of the Section of Logic. 51, 1 (Oct. 2021), 91–108. DOI:https://doi.org/10.18778/0138-0680.2021.21.