Journal of Logic and Computation, Volume 10, Issue 5, pp. 721-738: Abstract.
Postponement, conservation and preservation of strong normalization for generalized reduction
Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, UK, E-mail: email@example.com
Postponement of [bgr][Kgr]-contractions and the conservation theorem do not hold for ordinary [bgr] but have been established by de Groote for a mixture of [bgr] with another reduction relation. In this paper, de Groote's results are generalized for a single reduction relation [bgr]e which generalizes [bgr]. We show moreover, that [bgr]e has the preservation of strong normalization property.
Keywords: generalized [bgr]-reduction, postponement of [Kgr]-contractions, generalized conservation, preservation of strong normalization