Kawano, Tomoaki. 2018. “Labeled Sequent Calculus for Orthologic”. Bulletin of the Section of Logic 47 (4):217–232. https://doi.org/10.18778/0138-0680.47.4.01.