Contributions
Jump from Parallel to Sequential Proofs: Multiplicatives
Paolo Di Giamberardino1 
and Claudia Faggian2
| (1) |
Dip. di Filosofia, Università Roma Tre – Institut de Mathématiques de Luminy, |
| (2) |
Dip. di Matematica, Università di Padova – PPS, CNRS et Université Paris 7, |
Abstract
We introduce a new class of multiplicative proof nets, J-proof nets, which are a typed version of Faggian and Maurel’s multiplicative L-nets. In J-proof nets, we can characterize nets with
different degrees of sequentiality, by gradual insertion of sequentiality constraints. As a byproduct, we obtain a simple
proof of the sequentialisation theorem.
This work has been partially supported by MIUR national project FOLLIA and a grant Ville de Paris, 2005-2006.