Jump from Parallel to Sequential Proofs: Multiplicatives

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.

• Type: Conference
• Year: 2006
• Where: CSL
• Authors: Paolo Di Giamberardino, Claudia Faggian
• Keywords: Automated Reasoning, CSL 2006, J-proof Nets, Maurel's Multiplicative L-nets, Multiplicative Proof Nets