A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A categorical semantics for polarized MALL
2007
Annals of Pure and Applied Logic
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
doi:10.1016/j.apal.2006.09.001
fatcat:24zznvflczfu3eygvwieimxn2i