Polarized and focalized linear and classical proofs
From MaRDI portal
Publication:556824
DOI10.1016/j.apal.2004.11.002zbMath1064.03035MaRDI QIDQ556824
Lorenzo Tortora de Falco, Olivier Laurent, Myriam Quatrini
Publication date: 23 June 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2004.11.002
Classical logic; Cut-elimination; Denotational semantics; Focalization; Linear logic; Polarization; Proof-nets; Reversion
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
A focused approach to combining logics, Focusing and polarization in linear, intuitionistic, and classical logics, Strong normalization property for second order linear logic, Proof nets for classical logic, Syntax vs. semantics: A polarized approach
Cites Work
- Linear logic
- Computational isomorphisms in classical logic
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
- Polarized proof-nets and \(\lambda \mu\)-calculus
- The additive multiboxes
- A denotational semantics of \(LC2\)
- Classical isomorphisms of types
- A new constructive logic: classic logic
- A new deconstructive logic: linear logic
- SN and CR for free-style LKtq: linear decorations and simulation of normalization
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item