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