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 (Jan. 2018), 61–72. DOI:https://doi.org/10.18488/journal.2.2018.82.61.72 .