Anahit C, Arman K, Garik P. Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics. 5003 [Internet]. 2018 Jan. 30 [cited 2024 Nov. 22];8(2):61-72. Available from: https://archive.aessweb.com/index.php/5003/article/view/3876