APAL
2005
13 years 11 months ago
2005
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 ...
ENTCS
2010
13 years 11 months ago
2010
A polarized strong category consists of a cartesian category, X, and a category Y, together with a module M : X
APAL
2007
13 years 11 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentâ...