Sciweavers

Share
APAL
2005

Polarized and focalized linear and classical proofs

9 years 2 months ago
Polarized and focalized linear and classical proofs
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of our analysis: we show that the tq-protocol of normalization for the classical systems LK pol and LK, pol perfectly fits normalization of polarized proof-nets. Some more semantical considerations allow to recover LC as a refinement of multiplicative LK pol. MSC: 03F05; 03F07; 03F52
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2005
Where APAL
Authors Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
Comments (0)
books