Chubaryan Anait Artashesovna

Publications in Math-Net.Ru

1. Proof complexities on a class of balanced formulas in some propositional systems
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 56:2 (2022),  58–65
2. On non-monotonous properties of some classical and nonclassical propositional proof systems
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 54:3 (2020),  127–136
3. On the Rabin’s speed-up of proofs for some systems of first order logic
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2010, no. 1,  61–63
4. The polynomial bounds of proof complexity in Frege systems
   
   Sibirsk. Mat. Zh., 50:2 (2009),  243–249
5. On the minimal sequential calculi of Robinson’s arithmetic
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2002, no. 3,  20–22
6. On some system of propositional logics calculus
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2001, no. 2,  22–26