SN and CR for free-style LKtq: linear decorations and simulation of normalization

, &
Journal of Symbolic Logic 67 (1):162-196 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150036

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization.Joinet Jean-Baptiste, Schellinx Harold & Falco Lorenzo Tortora de - 2002 - Journal of Symbolic Logic 67 (1):162 - 196.
SN and {CR} for free-style {${bf LK}sp {tq}$}: linear decorations and simulation of normalization.Jean-Baptiste Joinet, Harold Schellinx & Lorenzo Tortora de Falco - 2002 - Journal of Symbolic Logic 67 (1):162-196.
Polarized and focalized linear and classical proofs.Olivier Laurent, Myriam Quatrini & Lorenzo Tortora de Falco - 2005 - Annals of Pure and Applied Logic 134 (2):217-264.
A new deconstructive logic: Linear logic.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1997 - Journal of Symbolic Logic 62 (3):755-807.
A New Deconstructive Logic: Linear Logic.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1997 - Journal of Symbolic Logic 62 (3):755-807.
A Mixed λ-calculus.Marie-Renée Fleury & Myriam Quatrini - 2007 - Studia Logica 87 (2-3):269-294.
LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press. pp. 222--211.
Natural Deduction and Weak Normalization for Full Linear Logic.Lilia Martins & Ana Martins - 2004 - Logic Journal of the IGPL 12 (6):601-625.
On the linear decoration of intuitionistic derivations.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1995 - Archive for Mathematical Logic 33 (6):387-412.
The additive multiboxes.Lorenzo Tortora de Falco - 2003 - Annals of Pure and Applied Logic 120 (1-3):65-102.
A Formalization Of Sambins's Normalization For Gl.Edward Hauesler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
Normal deduction in the intuitionistic linear logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.
Simulation, Theory, and Cut Elimination.G. Graham White - 1999 - The Monist 82 (1):165-184.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
A formalization of Sambins's normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.

Analytics

Added to PP
2019-05-07

Downloads
16 (#892,354)

6 months
3 (#987,746)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean-Baptiste Joinet
Jean Moulin Lyon 3 University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references