Anahit, Chubaryan, Karabakhtsyan Arman, and Petrosyan Garik. 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 .