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
Preserved Fulltext
Acknowledgements Thanks 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. ...
doi:10.1016/s0304-3975(98)00145-5
fatcat:gekhsm4w3ncmpcrynsl6ygrw3q
Page 883 of Mathematical Reviews Vol. , Issue 2000b
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...