Sciweavers

47 search results - page 2 / 10
» Proof nets sequentialisation in multiplicative linear logic
Sort
View
LPAR
2007
Springer
14 years 4 months ago
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
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...
Roberto Maieli
CSL
2008
Springer
14 years 16 days ago
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
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...
Paolo Tranquilli
CSL
2004
Springer
14 years 4 months ago
On Proof Nets for Multiplicative Linear Logic with Units
Lutz Straßburger, François Lamarche
ENTCS
2007
107views more  ENTCS 2007»
13 years 10 months ago
Event Domains, Stable Functions and Proof-Nets
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
Samson Abramsky
LICS
2008
IEEE
14 years 5 months ago
Cut Elimination for Monomial MALL Proof Nets
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...
Olivier Laurent, Roberto Maieli