Jean-Baptiste Joinet, et al.  Home/Search
Context
Related
| boole.logique.jussie...allstrongtq.ps.Z logique.jussieu.fr/w...allstrongtq.ps.Z logique.jussieu.fr/...allstrongtq.ps.gz 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: logique.jussieu.fr/www.hars...djs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Jean-Baptiste Joinet ? , Harold Schellinx ?? , Lorenzo Tortora de Falco ??? ' Equipe de Logique Math'ematique, Universit'e Paris VII Mathematisch Instituut, Universiteit Utrecht Abstract. We prove strong normalization of tq-reduction for all standard versions of sequent calculus for classical and intuitionistic (second and first order) logic and give a perspicuous argument for the completeness of the focusing restriction on sequent derivations. 1 Introduction In a recent paper ([3]) V.... (Update)
Similar documents (at the sentence level): More
24.9%: SN and CR for free-style LK^tq: linear decorations and.. - Joinet, Schellinx, de.. (1998) (Correct)
10.2%: A New Deconstructive Logic: Linear Logic - Danos, Joinet, Schellinx (1997) (Correct)
8.6%: Computational Isomorphisms in Classical Logic - Danos, Joinet, Schellinx (1996) (Correct)
Active bibliography (related documents): More All
0.2: Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
0.2: On the Fine Structure of the Exponential Rule - Martini, Masini (1993) (Correct)
0.2: Elementary Complexity and Geometry of Interaction - Baillot (2000) (Correct)
Similar documents based on text: More All
0.7: Polarisation Des Preuves Classiques Et Renversement - Quatrini, De Falco (1996) (Correct)
0.5: Denotational semantics for polarized (but non-constrained) LK by .. - de Falco (Correct)
0.4: Gentzen-Style Classical Proofs as λμ-Terms - Ogata (1999) (Correct)
BibTeX entry: (Update)
@misc{ joinet-strong,
author = "Jean-Baptiste Joinet and et al.",
title = "Strong Normalization for all-style LK^tq (Extended Abstract)",
url = "citeseer.ist.psu.edu/38770.html" }
Citations (may not include all citations):242 Linear logic (context) - Girard - 1987 ACM DBLP
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992 DBLP
57 A new deconstructive logic: linear logic - Danos, Joinet et al. - 1995 DBLP
33 The Noble Art of Linear Decorating (context) - Schellinx - 1994
19 Proof search strategies in linear logic (context) - Tammet - 1994
13 Free Deduction: an analysis of computation in classical logi.. (context) - Parigot - 1991
7 a travers la logique lin (context) - Joinet - 1993
5 The structure of exponentials: uncovering the dynamics of li.. - Danos, Joinet et al. - 1993 DBLP
5 Quantifiers in linear logic II (context) - Girard - 1991
1 merci, Vincent (context) - de Falco, Strong et al. - 1994
1 al proof theory. (To appear in H. Wansing, ed., `Proof Theor.. (context) - Schellinx - 1994
1 LKT and LKQ: sequent calculi for second order logic based up.. (context) - Danos, Joinet et al. - 1995
Documents on the same site (http://www.logique.jussieu.fr/www.hars/djs.html): More
The Structure of Exponentials: Uncovering the Dynamics of.. - Vincent Danos (1993) (Correct)
SN and CR for free-style LK^tq: linear decorations and.. - Joinet, Schellinx, de.. (1998) (Correct)
A Linear Approach to Modal Proof Theory - Harold Schellinx (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