Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

APAL
2008

favoriteEmaildiscussreport

67views more APAL 2008»

Proof nets sequentialisation in multiplicative linear logic

13 years 4 months ago

Proof nets sequentialisation in multiplicative linear logic

Download www.pps.jussieu.fr

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 sequent calculus proof simply by properly adding to it some special edges, called sequential edges, which express the sequentiality constraints given by sequent calculus.

Paolo Di Giamberardino, Claudia Faggian

Real-time Traffic

APAL 2008 | Proof Net | Sequent Calculus | Sequent Calculus Proof |

claim paper

Related Content

» Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear ...

» Jump from Parallel to Sequential Proofs Multiplicatives

» Proofs denotational semantics and observational equivalences in Multiplicative Linear Logi...

» Permutative Logic

» Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic

» A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear...

» On Proof Nets for Multiplicative Linear Logic with Units

» Event Domains Stable Functions and ProofNets

» Cut Elimination for Monomial MALL Proof Nets

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	APAL
Authors	Paolo Di Giamberardino, Claudia Faggian

Comments (0)