Kawano, Tomoaki. 2021. “Sequent Calculi for Orthologic With Strict Implication”. Bulletin of the Section of Logic 51 (1):73-89. https://doi.org/10.18778/0138-0680.2021.22.