The Gentzen system of medium logic

The author constructs the Gentzen system of medium logic. It is proved that this system is equivalent to MF. The cut-elimination theorem and the consistency of this system are proved, as are its soundness and completeness.<
>