Postponement, conservation and preservation of strong normalization for generalized reduction

Abstract

Postponement of ßK-contractions and the conservation theorem do not hold for ordinary ß but have been established by de Groote for a mixture of ß with another reduction relation. In this paper, de Groote's results are generalized for a single reduction relation ße which generalizes ß. We show moreover, that ße has the preservation of strong normalization property.</p