Polarized and focalized linear and classical proofs
type: Item
instance of: scholarly article
title: Polarized and focalized linear and classical proofs
zbMATH Open document ID: 1064.03035
author: Olivier Laurent
author: Myriam Quatrini
author: Lorenzo Tortora de Falco
published in: Annals of Pure and Applied Logic
publication date: 2005-06-23T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 2181953
zbMATH Keywords: Classical logic
zbMATH Keywords: Linear logic
zbMATH Keywords: Cut-elimination
zbMATH Keywords: Proof-nets
zbMATH Keywords: Denotational semantics
zbMATH Keywords: Polarization
zbMATH Keywords: Focalization
zbMATH Keywords: Reversion
MaRDI profile type: Publication
full work available at URL: j.apal.2004.11.002
OpenAlex ID: W2092580587
cites work: Q3357521
cites work: Q4282602
cites work: A new deconstructive logic: linear logic
cites work: Computational isomorphisms in classical logic
cites work: Linear logic
cites work: A new constructive logic: classic logic
cites work: Q4896506
cites work: Q3994895
cites work: SN and CR for free-style LKtq: linear decorations and simulation of normalization
cites work: Q4263872
cites work: Polarized proof-nets and \(\lambda \mu\)-calculus
cites work: Classical isomorphisms of types
cites work: Q4264064
cites work: Q4255509
cites work: A denotational semantics of \(LC2\)
cites work: Q4896474
cites work: Q4364522
cites work: Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
cites work: The additive multiboxes
DOI: 10.1016/J.APAL.2004.11.002
description: scientific article; zbMATH DE number 2181953