Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''

Guy Perrier (1)

1 CALLIGRAMME - Linear logic, proof networks and categorial grammars

This note reveals a mistake in a proof of cut elimination in linear logic which uses the framework of the sequent calculus. This proof was published in volume 135 of TCS (1994).

Mots clés: théorie de la démonstration; logique linéaire; proof theory; linear logic

Domaines: Autre [cs.OH]

Guy Perrier. Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''. Theoretical Computer Science, 1998, 206 (1-2), pp.353-354. ⟨inria-00098573⟩