Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Cited by Google
- Similars in SciELO
- Similars in Google
Share
Revista Integración
Print version ISSN 0120-419X
Abstract
RAMIREZ, CARLOS ERNESTO. Semántica categórica para subexponenciales en SELL. Integración - UIS [online]. 2014, vol.32, n.1, pp.39-54. ISSN 0120-419X.
Categorical semantics have established formal and accurately the meaning of the terms and connectives of different logics. In particular, the work of various authors, starting with de Paiva and Hyland [3], have allowed to look at the semantics of linear logic, both classical and intuitionists, from a categorical point of view. One of the most important task is to try to give a categorical interpretation to the exponential operator !. Mellies [11] and Bierman [4] have finally shown that this interpretation corresponds to a composition between monoidal adjoints. With the emergence of SELL, now we have a family of subexponential, adjusted within a preorder structure. The intention in this work is to obtain a categorical interpretation for this family of subexponentials, inspired by the very notion of monoidal adjoints, but preserving the preorder structure assigned to the exponential family
Keywords : Linear logic; monoidal categories; enriched categories; categorical semantic.