T. Ehrhard, Hypercoherences: a strongly stable model of linear logic, Mathematical Structures in Computer Science, vol.1, issue.04, pp.365-385, 1993.
DOI : 10.1016/0304-3975(77)90044-5
URL : https://hal.archives-ouvertes.fr/hal-00527026

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. II, Mathematische Zeitschrift, vol.39, issue.1, pp.405-431, 1934.
DOI : 10.1007/BF01201363

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. Girard, A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991.
DOI : 10.1016/0304-3975(87)90045-4

M. Quatrini, Sémantique cohérente des exponentielles: de la logique linéairelinéairè a la logique classique, Thèse de Doctorat, spécialité Mathématiques, 1995.

[. Retoré, Réseaux et Séquents Ordonnés, Thèse de Doctorat, spécialité Mathématiques, 1993.

I. N. Ret94a-]-christian-retoré, On the relation between coherence semantics and multiplicative proof nets, 1994.

[. Retoré, Une modalité autoduale pour le connecteur " précède, Catégories, Algèbres, Esquisses et Néo-Esquisses, Publications du Groupe de Recherche en Algorithmique et Logique. Département de Mathématiques, 1994.

A. Sjerp and T. , Lectures on Linear Logic, volume 29 of Center for the Study of Language and Information (CSLI) Lecture Notes, 1992.

I. Unité-de-recherche, V. Lorraine, and I. Le-`-sle-`-le-`-s-nancy-unité-de-recherche, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, pp.38031-38032

I. Unité-de-recherche and . Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004.