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