Kawano, T. (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