Kawano, Tomoaki. “Labeled Sequent Calculus for Orthologic”. Bulletin of the Section of Logic 47, no. 4 (December 30, 2018): 217–232. Accessed September 28, 2021. https://czasopisma.uni.lodz.pl/bulletin/article/view/4772.