M. Aiguier, C. Boin, d. Longuet  Home/Search
Context
Related
| ibisc.univevry.fr/~aigu...RRABL05b.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: ibisc.univevry.fr/~aiguier/do... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we provide a general setting under which results of normalization of proof trees such as, for instance, the logicality result in equational reasoning and the cut-elimination property in sequent or natural deduction calculi, can be unified and generalized. This is achieved by giving simple conditions which are su#cient to ensure that such normalization results hold. These conditions are based on basic properties of elementary combinations of inference rules which assure that the... (Update)
Active bibliography (related documents): More All
1.9: On a generalized theorem for a normalization of proof trees - Aiguier, Boin, Cerrito (2005) (Correct)
0.3: Knuth-Bendix Completion for Non-Symmetric Transitive Relations - Struth (2001) (Correct)
0.3: Formalised Cut Admissibility for Display Logic - Dawson, Goré (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ aiguier-generalized,
author = "M. Aiguier and C. Boin and d. Longuet",
title = "On Generalized Theorems for . . .",
url = "citeseer.ist.psu.edu/762097.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
788 Rewrite systems - Dershowitz, Jouannaud - 1990
353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
343 Introduction to Meta-mathematics (context) - Kleene - 1952
268 Proofs and Types (context) - Girard, Lafont et al. - 1989
167 Natural deduction: A proof-theoretical study (context) - Prawitz - 1965
97 Automated Deduction for Non Classical Logics (context) - Wallen - 1990
73 Untersuchungen uber das logische schlieen (context) - Gentzen - 1935
53 Journal of Philosophical Logic (context) - Belnap - 1982
43 Theoretical Computer Science (context) - Kaplan, rules - 1984
42 The coq proof assistant reference manual - Cornes, Courant et al. - 1995
32 the structure of abstract algebras (context) - Birkho - 1935
22 Proof normalization modulo - Dowek, Werner - 1999
21 Normal derivability in classical logic (context) - Tait - 1989
21 Bi-rewrite systems - Levy, Agust - 1996
15 calculus structure isomorphic to Gentzen-style sequent calcu.. (context) - Herbelin - 1995
10 Translations of Mathematical Monographs (context) - Dragalin, introduction et al. - 1988
7 a generalised logicality theorem - Aiguier, Bahrami et al. - 2002
7 Cut elimination and rewriting: termination proofs (context) - Cichon, Rusinowitch et al. - 1996
5 Strong normalisation of cut-elimination in classical logic - Urban, Bierman - 2001
4 Logicality of conditional rewrite systems - Yamada, Avenhaus et al. - 2000
3 Term rewriting for normalization by evaluation - Berger, Eberl et al. - 2003
3 Term rewriting in a logic of special relations (context) - Schorlemmer - 1998
3 Non-symmetric rewriting - Struth - 1996
3 A new machine-checked proof of strong normalisation for disp.. - Dawson, Gore - 2003
2 volume Foundations of Automatic Theorem Proving (context) - Gallier, Computer - 1986
1 Testing from algebraic specifications: Test data set selecti.. - Aiguier, Arnould et al. - 2005
1 Confluence as a cut-elimination property - Dowek - 2003
1 Strong normalization proofs for cut-elimination in Gentzen's.. - Bittar - 1999
1 Sub-birkho (context) - van Oostrom - 2004
http://isabelle.in.tum.de/doc/logics-HOL.pdf
Documents on the same site (http://www.ibisc.univ-evry.fr/~aiguier/documents/publications/): More
Testing from Algebraic Specifications: Test Data.. - Aiguier, Arnould, .. (2005) (Correct)
Stratified institutions and elementary homomorphisms - Aiguier, Diaconescu (Correct)
An algebraic approach for Codesign - Aiguier, Beroff, Schobbens (2004) (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