Sasaki, K. (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