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.
|Number of pages||18|
|Journal||Journal of Logic and Computation|
|Publication status||Published - Oct 2000|