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