Abstract | ||
---|---|---|
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’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories C−/C+ of an ambient ∗-autonomous category C (with products). Similar structures were first introduced by M. Barr in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic. The paper has two goals: to discuss concrete models and to present various completeness theorems. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.apal.2006.09.001 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
Polarized linear logic,Full completeness,Dinaturality,Hypercoherences,Double gluing,Chu spaces,Läuchli semantics,Categorical semantics | Discrete mathematics,Categorical logic,Multiplicative function,Duality (mathematics),Linear logic,Game semantics,Completeness (statistics),Iterated function,Mathematics,Adjunction | Journal |
Volume | Issue | ISSN |
145 | 3 | 0168-0072 |
Citations | PageRank | References |
7 | 0.56 | 23 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Masahiro Hamano | 1 | 39 | 7.66 |
Philip Scott | 2 | 123 | 9.47 |