Kai Brünnler, Stéphane Lengrand  Home/Search
Context
Related
| iam.unibe.ch/~kai/Current/prty.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: We call irrelevant information in derivations bureaucracy.An example of such irrelevant information is the order between two consecutive inference rules that trivially permute. Building on ideas by Guglielmi, we identify two forms of bureaucracy that occur in the calculus of structures (and, in fact, in every non-trivial term rewriting derivation). (Update)
Active bibliography (related documents): More All
0.7: Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
0.3: On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
0.2: Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
Similar documents based on text: More All
0.2: The Protestant Ethic and the Spirit of Bureaucracy: Ascetic.. - Gorski (Correct)
0.2: What is a Normal Deep Inference Derivation? - Brünnler (Correct)
0.2: Cut Elimination inside a Deep Inference System for Classical.. - Brünnler (2005) (Correct)
BibTeX entry: (Update)
@misc{ nnler-two,
author = "Kai Brünnler and Stéphane Lengrand",
title = "On Two Forms of Bureaucracy in Derivations",
url = "citeseer.ist.psu.edu/729788.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
65 A local system for classical logic - Brunnler, Tiu - 2001
39 Deep Inference and Symmetry in Classical Proofs (context) - Brunnler - 2003
25 To appear in ACM Transactions on Computational Logic (context) - Guglielmi, of et al. - 2002
12 Naming proofs in classical propositional logic - Lamarche, Straburger - 2005
11 Implementing system BV of the calculus of structures in Maud.. - Kahramanogullar - 2004
7 Proof nets for classical logic (context) - Robinson - 2003
5 Higher-dimensional word problems with applications to equati.. (context) - Burroni - 1993
2 tu-dresden (context) - Guglielmi, Manuscript et al. - 2004
2 tu-dresden (context) - Guglielmi, Manuscript et al. - 2004
2 The three dimensions of proofs (context) - Guiraud - 2005
1 Theoretical Computer Science (context) - Mart-Oliet, Meseguer et al. - 2002
http://www.ki.inf.tu-dresden.de/guglielm/Research/
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