See this document in CiteSeerX!

A System of Interaction and Structure II: The Need for Deep Inference (2005)  (Make Corrections)  
Alwen Tiu



  Home/Search   Context   Related

 
View or download:
loria.fr/~tiu/deep.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  alessio.guglielmi.name/re...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper studies properties of the logic , which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. (Update)

Similar documents (at the sentence level):
16.9%:   Unknown - Technische Universitat Dresden   (Correct)
16.0%:   Properties of a Logical System in the Calculus of Structures - Tiu (2001)   (Correct)

Active bibliography (related documents):   More   All
0.2:   System BV is NP-complete - Kahramanogullari (2005)   (Correct)
0.2:   Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (2005)   (Correct)
0.2:   Reducing the Nondeterminism in the Calculus of Structures - Kahramanogullari (2005)   (Correct)

Similar documents based on text:   More   All
0.2:   Deep Inference Proof Theory Equals Categorical Proof Theory Minus .. - Hughes (2004)   (Correct)
0.2:   Deep Inference and the Calculus of Structures - Guglielmi (2005)   (Correct)
0.1:   Polynomial Size Deep-Inference Proofs Instead Of Exponential.. - Guglielmi (2004)   (Correct)

BibTeX entry:   (Update)

@misc{ tiu-system,
  author = "Alwen Tiu",
  title = "A System of Interaction and Structure II: The Need for Deep Inference",
  url = "citeseer.ist.psu.edu/tiu05system.html" }
Citations (may not include all citations):
982   Theoretical Computer Science (context) - Girard - 1987
146   Investigations into logical deduction (context) - Gentzen - 1969
88   Basic Proof Theory (context) - Troelstra, Schwichtenberg - 1996
65   A local system for classical logic - Brunnler, Tiu - 2001
56   Non-commutativity and MELL in the calculus of structures - Guglielmi, Straburger - 2001
35   Pomset logic: A non-commutative extension of classical linea.. - Retore - 1997
31   Properties of a logical system in the calculus of structures - Tiu - 2001
31   Computationally tractable classes of ordered sets (context) - Mohring - 1989
25   To appear in ACM Transactions on Computational Logic (context) - Guglielmi, of et al. - 2002
23   Technical Report WV (context) - Guglielmi, of et al. - 1999
23   Technical Report WV (context) - Guglielmi, of et al. - 2001
23   Linear Logic and Noncommutativity in the Calculus of Structu.. - Straburger - 2003
16   Pomset logic as a calculus of directed cographs - Retore - 1999

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