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