Hambardzumyan A. A.

Publications in Math-Net.Ru

1. 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