Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 10, Issue 5, pp. 721-738: Abstract.

Postponement, conservation and preservation of strong normalization for generalized reduction

F Kamareddine

Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, UK, E-mail: fairouz@cee.hw.ac.uk

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

  Full-Text PDF  (197 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2000.