(1)
Kawano, T. Sequent Calculi for Orthologic With Strict Implication. B Sect Log 2021, 51, 73-89.