A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Corrigendum to Galmiche's and Perrier's "On proof normalization in linear logic"

1998
*
Theoretical Computer Science
*

Acknowledgements Thanks

doi:10.1016/s0304-3975(98)00145-5
fatcat:gekhsm4w3ncmpcrynsl6ygrw3q
*to*Sophie Malecki*and*Philippe de Groote who have discovered the flaw in the proof of cut elimination proposed in [ 1, Section 5.1, pp. W-881. ... Such a measure is given in [3]*and*it used not only*to*prove cut elimination in the sequent calculus of linear logic but also strong normalisation. ... The basis case is trivial*and*the induction step starts by assuming that P(n) is true for some n E [0, c(n)]. From this, it remains*to*prove that P(n+l) is also true. ...##
###
Page 883 of Mathematical Reviews Vol. , Issue 2000b
[page]

2000
*
Mathematical Reviews
*

*Galmiche’s*

*and*

*Perrier’s*“

*On*

*proof*

*normalization*

*in*

*linear*

*logic*” [Theoret. Comput. Sci. 135 (1994), no. 1, 67-110; MR 96a:03020]. Theoret. Comput. Sci. 206 (1998), no. 1-2, 353-354. ... Neculai Curteanu (R-IASI-SM; Iasi) 2000b:03042 03B35 03F05 03F50 68T15 Perrier, Guy (F-CRIN; Vandoeuvre-les-Nancy)

*Corrigendum*

*to*: D. ...

##
###
Page 126 of Mathematical Reviews Vol. 32, Issue Index
[page]

*
Mathematical Reviews
*

(English summary) 2000e:03026
Perrier, Guy

*Corrigendum**to*: D.*Galmiche’s**and**Perrier’s*“*On**proof**normalization**in**linear**logic*” [Theoret. Comput. ... (English summary) 2000g:03127 03F15 Recursive ordinals*and*ordinal notations Arai, Toshiyasu An introduction*to*finitary analyses of proof figures. ...##
###
Page 1896 of Mathematical Reviews Vol. 32, Issue Index
[page]

*
Mathematical Reviews
*

*Galmiche’s*

*and*

*Perrier’s*“

*On*

*proof*

*normalization*

*in*

*linear*

*logic*” [Theoret. Comput. ... (English summary) 2000b:03041 — Pruning the search space

*and*extracting more models in tableaux. (English summary) 2000¢:03029 Perrier, Guy

*Corrigendum*

*to*: D. ...

##
###
Page 1466 of Mathematical Reviews Vol. 32, Issue Index
[page]

*
Mathematical Reviews
*

*Galmiche’s*

*and*

*Perrier’s*“

*On*

*proof*

*normalization*

*in*

*linear*

*logic*” [Theoret. Comput. Sci. 135 (1994), no. 1, 67-110; MR 96a:03020]. Theoret. Comput. Sci. 206 (1998), no. 1-2, 353-354. ... (English summary) Logic

*and*models of computation (Marseille, 1996). Math. Structures Comput. Sci. 8 (1998), no. 6, 681-710. (Summary) 2000f:68047 68Q10 (03F52) —

*Corrigendum*

*to*: D. ...