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