On the bounds for the main proof measures in some propositional proof systems Journal title: Scholars Journal of Physics, Mathematics and Statistics Authors: Anahit Chubaryan, Armen Mnatsakanyan Subject(s):