19 search results - page 1 / 4 » Correctness of Multiplicative Proof Nets Is Linear |
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
CSL
2008
Springer
13 years 7 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
APAL
2008
13 years 5 months ago
2008
Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...