Kawano, T. “Sequent Calculi for Orthologic With Strict Implication”. Bulletin of the Section of Logic, vol. 51, no. 1, Nov. 2021, pp. 73-89, doi:10.18778/0138-0680.2021.22.