C. . Anahit, K. . Arman, and P. . Garik, “Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics”, 5003, vol. 8, no. 2, pp. 61–72, Jan. 2018.