T. Kawano, “Sequent Calculi for Orthologic with Strict Implication”, B Sect Log, vol. 51, no. 1, pp. 73–89, Nov. 2021, doi: 10.18778/0138-0680.2021.22.