Postponement, conservation and preservation of strong normalization for generalized reduction

Fairouz Kamareddine

Postponement, conservation and preservation of strong normalization for generalized reduction

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	721-738
Number of pages	18
Journal	Journal of Logic and Computation
Volume	10
Issue number	5
Publication status	Published - Oct 2000

Cite this

@article{9bb5d82bfc674f7fa68f57d4c0ab20fe,

title = "Postponement, conservation and preservation of strong normalization for generalized reduction",

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

author = "Fairouz Kamareddine",

year = "2000",

month = oct,

language = "English",

volume = "10",

pages = "721--738",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "5",

}

TY - JOUR

T1 - Postponement, conservation and preservation of strong normalization for generalized reduction

AU - Kamareddine, Fairouz

PY - 2000/10

Y1 - 2000/10

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0034297167&partnerID=8YFLogxK

M3 - Article

SN - 0955-792X

SN - 1465-363X

VL - 10

SP - 721

EP - 738

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 5

ER -

Postponement, conservation and preservation of strong normalization for generalized reduction

Abstract

Other files and links

Fingerprint

Cite this