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