Alwen Tiu  Home/Search
Context
Related
| loria.fr/~tiu/deep.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: 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