Switch to: References

Add citations

You must login to add citations.
  1. 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.
    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 and perfectly fits normalization of polarized proof-nets. Some more semantical considerations allow us to recover LC as a refinement of multiplicative.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations