Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2004

Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits

Résumé

This paper provides a definition of proof-nets for non-commutative linear logic (cyclic linear logic and Lambek calculus) where there are no links, that are small graphs representing the connectives. Instead of a tree like representation with links, the formula is depicted as a graph representing the conclusion up to the algebraic properties of the connectives. In the commutative case the formula is viewed as a cograph. In the non-commutative case it is a more complicated kind of graph which is, roughly speaking, a directed cograph. The criterion consists in the commutative condition plus a bracketing condition.
Fichier principal
Vignette du fichier
RR-5409.pdf (205.35 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00071248 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071248 , version 1

Citer

Sylvain Pogodalla, Christian Retoré. Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits. [Research Report] RR-5409, INRIA. 2004, pp.25. ⟨inria-00071248⟩
206 Consultations
169 Téléchargements

Partager

More