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