A generic method for constructing categorical models of Linear Logic is provided and instantiated to yield traditional models such as coherence spaces, hypercoherences, phase spaces, relations, etc. The generic construction is modular, as expected. Hence we discuss multiplicative connectives, modalities and additive connectives in turn. Modelling the multiplicative connectives of Linear Logic is a generalisation of previous work, requiring a few non-standard concepts. More challeng- ing is the modelling of the modalities ‘!’ (and, respectively ‘?’), which is achieved in the surprisingly general setting of this construction by considering !-candidates and showing that they exist and constitute a modality, under appropriate conditions.
CITATION STYLE
de Paiva, V., & Schalk, A. (1998). Building models of linear logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1548, pp. 164–177). Springer Verlag. https://doi.org/10.1007/3-540-49253-4_14
Mendeley helps you to discover research relevant for your work.