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