Chubaryan A, Sayadyan S. Some New Propositional Proof Systems for Intuitionistic and Minimal Logics. MPCS [Internet]. 2021Dec.10 [cited 2024Dec.22];38:44-5. Available from: http://mpcs.sci.am/index.php/mpcs/article/view/482