Minimum Segments in Sequent Derivations

Mirjana Borisavljević

In a system of sequents for intuitionistic predicate logic, derivations without a special kind of cuts (maximum cuts) will be considered. The following be shown: in a derivation without maximum cuts there are paths of the same form as paths in a normal derivation of natural deduction, i.e., these paths have the E-part, the I-part, and one minimum part which corresponds to a minimum segment in a normal derivation.