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