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