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