Kawano, T. “Labeled Sequent Calculus for Orthologic”. Bulletin of the Section of Logic, vol. 47, no. 4, Dec. 2018, pp. 217–232, doi:10.18778/0138-0680.47.4.01.