On proof normal forms for some systems of classical propositional logic

В этой статье описаны нормальные формы выводов некоторых нетрадиционных систем классического исчисления высказываний. На их основе с использованием понятия минимально-определяющей дизъюнктивной нормальной формы для $\varphi$ получены верхние и нижние оценки сложности выводов.