Abstract:
In this paper generalizations of Modus ponens rules are defined, on the basis of which a certain system of propositional logics calculus is constructed to which both the Frege systems and the Frege systems with substitutions are polynomially brought.