Kawano T. Labeled Sequent Calculus for Orthologic. B Sect Log [Internet]. 2018 Dec. 30 [cited 2024 May 19];47(4):217–232. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/4772