Kawano, T. Labeled Sequent Calculus for Orthologic. B Sect Log 2018, 47 (4), 217–232. https://doi.org/10.18778/0138-0680.47.4.01.