Kawano, T. Labeled Sequent Calculus for Orthologic. B Sect Log 2018, 47, 217–232.