Kawano T. Sequent Calculi for Orthologic with Strict Implication. B Sect Log [Internet]. 2021 Nov. 9 [cited 2025 Dec. 8];51(1):73-89. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8670