Kawano, Tomoaki. “Sequent Calculi for Orthologic With Strict Implication”. Bulletin of the Section of Logic 51, no. 1 (November 9, 2021): 73–89. Accessed March 29, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/8670.