Anahit, C. ., K. . Arman, and P. . Garik. “Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics”. Journal of Asian Scientific Research, vol. 8, no. 2, Jan. 2018, pp. 61-72, doi:10.18488/journal.2.2018.82.61.72 .