APAL
2005
15 years 8 days 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
15 years 14 days ago
2010
A polarized strong category consists of a cartesian category, X, and a category Y, together with a module M : X
89
Voted
APAL
2007
15 years 15 days 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â...