Ozan Kahramanogullari  Home/Search
Context Related
| informatik.unileipzig.de/~oz...bvn.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: System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for unit are oriented from left to right and new structural rules are introduced to preserve completeness. (Update)
Cited by: More
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
Implementing System BV of the Calculus of Structures in Maude - Kahramanogullari (2004) (Correct)
Active bibliography (related documents): More All
0.8: System BV without the Equalities for Unit - Kahramanogullari (2004) (Correct)
0.4: Reducing the Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
0.3: A System of Interaction and Structure - Guglielmi (2004) (Correct)
Similar documents based on text: More All
0.7: Implementing Deep Inference in TOM - Kahramanogullari, Moreau, Reilles (2005) (Correct)
0.6: System BV is NP-complete - Kahramanogullari (2005) (Correct)
0.5: Labelled Event Structure Semantics of Linear Logic Planning - Kahramanogullari (Correct)
Related documents from co-citation: More All
8: A purely logical account of sequentiality in proof search - Bruscoli - 2002
8: A non-commutative extension of MELL - Guglielmi, Straburger - 2002
7: Deep Inference and Symmetry for Classical Proofs (context) - Brunnler - 2003
BibTeX entry: (Update)
Ozan Kahramanogullar. System BV without the equalities for unit. Technical report, TU Dresden, 2004. http://citeseer.ist.psu.edu/article/kahramanogullari04system.html More
@misc{ kahramanogullar04system,
author = "O. Kahramanogullar",
title = "System BV without the equalities for unit",
text = "Ozan Kahramanogullar. System BV without the equalities for unit. Technical
report, TU Dresden, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/article/kahramanogullari04system.html" }
Citations (may not include all citations):340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
43 A purely logical account of sequentiality in proof search - Bruscoli - 2002
39 Deep Inference and Symmetry in Classical Proofs (context) - Brunnler - 2003
38 A non-commutative extension of MELL - Guglielmi, Straburger - 2002
31 Properties of a logical system in the calculus of structures - Tiu - 2001
25 to appear in ACM Transactions on Computational Logic (context) - Guglielmi, of et al. - 2002
23 Linear Logic and Noncommutativity in the Calculus of Structu.. - Straburger - 2003
20 Mart-Oliet (context) - Clavel, Duran et al. - 2003
11 Computer Science Laboratory (context) - Clavel, Duran et al. - 2004
11 Implementing system BV of the calculus of structures in Maud.. - Kahramanogullar - 2004
6 System NEL is undecidable (context) - Straburger - 2003
5 From the calculus of structures to term rewriting systems (context) - en, Ozan - 2004
4 Plans as formulae with a non-commutative operator (context) - Kahramanogullar - 2004
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