Kawano, T. (2021) “Sequent Calculi for Orthologic with Strict Implication”, Bulletin of the Section of Logic, 51(1), pp. 73–89. doi: 10.18778/0138-0680.2021.22.