Filters








5 Hits in 7.4 sec

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

Guy Perrier
1998 Theoretical Computer Science  
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  
Galmiche’s and Perrier’sOn 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’sOn 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’sOn 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’sOn 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.  ...