Hambardzumyan, A. A. Investigation of Monotonous Properties for Frege Systems. MPCS 2020, 53, 14-20.