Ozan Kahramanogullari  Home/Search
Context
Related
| iccl.tudresden.de/...reducingNondet.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The calculus of structures is a proof theoretical formalism which generalizes the sequent calculus with the feature of deep inference: in contrast to the sequent calculus, inference rules can be applied at any depth inside a formula, bringing shorter proofs than all other formalisms supporting analytical proofs. However, deep applicability of inference rules causes greater nondeterminism than in the sequent calculus regarding proof search. In this paper, we introduce a new technique... (Update)
Active bibliography (related documents): More All
2.5: Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
1.2: Reducing the Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
0.7: Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ kahramanogullari-reducing,
author = "Ozan Kahramanogullari",
title = "Reducing Nondeterminism in the Calculus of Structures",
url = "citeseer.ist.psu.edu/741875.html" }
Citations (may not include all citations):65 A local system for classical logic - Brunnler, Tiu - 2001
57 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992
56 Non-commutativity and MELL in the calculus of structures - Guglielmi, Straburger - 2001
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
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
25 A systematic proof theory for several modal logics - Stewart, Stouppa - 2004
23 Technical Report WV (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
16 Forum: A multiple-conclusion specification logic (context) - Miller - 1996
11 Implementing system BV of the calculus of structures in maud.. - Kahramanogullar - 2004
5 System BV is NP-complete - Kahramanogullar - 2005
4 A local system for intuitionistic logic: Preliminary results - Tiu - 2005
4 A Pattern Matching Compiler for Multiple Target Languages (context) - Moreau, Ringeissen et al. - 2003
3 Reducing non-determinism in the calculus of structures - Kahramanogullar - 2005
2 Available on the web at http://article (context) - Guglielmi, classical et al. - 2004
2 Implementing deep inference in TOM (context) - Kahramanogullar, Moreau et al. - 2005
1 Atomic cut elimination for classical logic (context) - Brunnler - 2003
1 A local system for linear logic (context) - Straburger - 2002
1 System NEL is undecidable (context) - Straburger - 2003
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