Normalization as a consequence of cut elimination
Mirjana Borisavljević · Publications de l Institut Mathematique · 2009
Pairs of systems, which consist of a system of sequents and a natural deduction system for some part of intuitionistic logic, are considered. For each of these pairs of systems the property that the normalization theorem is a consequence of the cut-elimination theorem is presented.