Steffen Hölldobler, Ozan Kahramanogullari  Home/Search
Context
Related
| iccl.tudresden.de/~ozan/...cos2trs.pdf 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 recently developed proof theoretical formalism that extends one-sided sequent calculus, with the gain of interesting proof theoretical properties. In contrast to sequent calculus, it does not rely on the notion of main connective and, like in term rewriting, permits the application of inference rules anywhere deep inside a formula. In this paper, exploiting this resemblance, we present a procedure turning derivations in the calculus of structures in four... (Update)
Similar documents (at the sentence level):
8.3%: From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004) (Correct)
5.1%: A System of Interaction and Structure - Guglielmi (2002) (Correct)
Active bibliography (related documents): More All
0.4: Implementing System BV of the Calculus of Structures in Maude - Kahramanogullari (2004) (Correct)
0.2: A System of Interaction and Structure II: The Need for Deep.. - Tiu (2005) (Correct)
0.2: Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ lldobler-from,
author = "Steffen Hölldobler and Ozan Kahramanogullari",
title = "From the Calculus of Structures to Term Rewriting Systems",
url = "citeseer.ist.psu.edu/745750.html" }
Citations (may not include all citations):353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
322 First--Order Logic and Automated Theorem Proving (context) - Fitting - 1996
65 A local system for classical logic - Brunnler, Tiu - 2001
44 Equational reasoning and term rewriting systems - Plaisted - 1993
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 Technical Report WV (context) - Guglielmi, of et al. - 1999
23 Linear Logic and Noncommutativity in the Calculus of Structu.. - Straburger - 2003
4 Logik und Logikprogrammierung (context) - en - 2001
1 A local system for linear logic (context) - Straburger - 2002
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