Abstract
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 challenging 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Michael Barr. *-Autonomous Categories. Monographs in Mathematics. Springer-Verlag, 1979.
G. M. Bierman. What is a categorical model of intuitionistic linear logic? In Proceedings of the Conference Typed Lambda-Calculi and Applications, volume 902 of LNCS, pages 341–356, 1995.
Valeria de Paiva. A dialectica model of linear logic. In Proceedings of the Conference Category Theory in Computer Science, volume 389 of LNCS, pages 341–356, 1989.
V. de Paiva. Lineales. Unpublished Manuscript, 1990.
V. de Paiva and A. Schalk. Poset-valued sets or how to build models for linear logic. Manuscript, 1998.
Thomas Ehrhard. Hypercoherences: a strongly stable model of linear logic. Math. Struct. in Comp. Science, 3:365–385, 1993.
Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.
J.-Y. Girard. Linear logic: its syntax and semantics. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in linear logic. London Mathematical Society Lecture Note Series, Cambridge University Press, 1995. Available by anonymous ftp from lmd.univ-mrs.fr as /pub/girard/Synsem.ps.Z.
François Lamarche. Generalizing choerence spaces and hypercoherences. Electr. Notes in Theor. Comp. Science, 1, 1995.
W Mitchell. The carcinogenic example. Manuscript available from http://www.cs.man.ac.uk/ bill/Car.ps, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Paiva, V., Schalk, A. (1998). Building Models of Linear Logic. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_14
Download citation
DOI: https://doi.org/10.1007/3-540-49253-4_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65462-9
Online ISBN: 978-3-540-49253-5
eBook Packages: Springer Book Archive