Chubaryan, A.; Sayadyan, S. Some New Propositional Proof Systems for Intuitionistic and Minimal Logics. MPCS 2021, 38, 44-45.