Anahit, C. .; Arman, K. .; Garik, P. . Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics. 5003 2018, 8, 61-72.