A. A. Chubaryan, A. A. Hambardzumyan
On non-monotonous properties of some classical and nonclassical propositional proof systems
| Proceedings of YSU, Physical and Mathematical Sciences, 2020, v. 54, #3, p. 127-136 |
