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

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

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

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science 1998-10, Vol.206 (1-2), p.353-354
1. Verfasser: Perrier, Guy
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science
Other
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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).
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(98)00145-5