Connections between cuts and maximum segments

Mirjana Borisavljević

Pairs of systems, which consist of a system of sequents and a natural deduction system for some parts of intuitionistic logic, will be considered. For some of these pairs of systems the well-known property that cut-free sequent derivations correspond to normal derivations in natural deduction will be improved.