An algebraic correctness criterion for intuitionistic multiplicative proof-nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 1999

An algebraic correctness criterion for intuitionistic multiplicative proof-nets

Résumé

We consider intuitionistic fragments of multiplicative linear logic for which we define appropriate notions of proof-nets. These are based on a correctness criterion that consists of decorating the nodes of a proof-structure with monoidal terms that must obey constraints reminiscent of phase semantics.

Mots clés

Domaines

Autre [cs.OH]

Dates et versions

inria-00098817 , version 1 (26-09-2006)

Identifiants

Citer

Philippe de Groote. An algebraic correctness criterion for intuitionistic multiplicative proof-nets. Theoretical Computer Science, 1999, 224 (1-2), pp.115-134. ⟨10.1016/S0304-3975(98)00309-0⟩. ⟨inria-00098817⟩
39 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More