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.