Kawano, T. Sequent Calculi for Orthologic With Strict Implication. B Sect Log 2021, 51 (1), 73-89. https://doi.org/10.18778/0138-0680.2021.22.