Alessio Guglielmi, Lutz Straßburger  Home/Search
Context Related
| lix.polytechnique.fr/~lutz/pa...NEL.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend multiplicative exponential linear logic (MELL) by a non-commutative, self-dual logical operator. The extended system, called NEL,isdefined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs. We should then be able to extend the range of applications of MELL, by modelling a broad notion of sequentiality and providing new properties of proofs. We show some proof theoretical results:... (Update)
Cited by: More
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004) (Correct)
A Local System for Linear Logic - Straßburger (2002) (Correct)
Similar documents (at the sentence level):
70.1%: A Non-commutative Extension of Multiplicative Exponential .. - Guglielmi, Straßburger (2004) (Correct)
7.7%: A System of Interaction and Structure - Guglielmi (2004) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:
2.0: Unknown - (Correct)
Related documents from co-citation: More All
31: A purely logical account of sequentiality in proof search - Bruscoli - 2002
30: A local system for classical logic - Brunnler, Tiu
26: Properties of a logical system in the calculus of structures - Tiu - 2001
BibTeX entry: (Update)
Alessio Guglielmi and Lutz Straburger. A non-commutative extension of MELL. Technical Report WV-02-03, Dresden University of Technology, 2002. On the web at: http://www.ki.inf.tu-dresden.de/guglielm/Research/NEL/NELbig.pdf. http://citeseer.ist.psu.edu/guglielmi02noncommutative.html More
@misc{ guglielmi02noncommutative,
author = "A. Guglielmi and L. Straburger",
title = "A non-commutative extension of MELL",
text = "Alessio Guglielmi and Lutz Straburger. A non-commutative extension of MELL.
Technical Report WV-02-03, Dresden University of Technology, 2002. On the
web at: http://www.ki.inf.tu-dresden.de/guglielm/Research/NEL/NELbig.pdf.",
year = "2002",
url = "citeseer.ist.psu.edu/guglielmi02noncommutative.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://alessio.guglielmi.name/res/cos/index.html): More
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
Implementing Deep Inference in TOM - Kahramanogullari, Moreau, Reilles (2005) (Correct)
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC