S. R. Aleksanyan, A. A. Chubaryan, “The polynomial bounds of proof complexity in Frege systems”, Sibirsk. Mat. Zh., 50:2 (2009), 243–249; Siberian Math. J., 50:2 (2009), 193–198
S. R. Aleksanyan, “On proof normal forms for some systems of classical propositional logic”, Proceedings of the YSU, Physical and Mathematical Sciences, 2007, no. 1, 39–45
Contact us: