|
Zapiski Nauchnykh Seminarov POMI, 1995, Volume 220, Pages 23–35
(Mi znsl4278)
|
|
|
|
Models of linear logic
Marc Bergeron, William Hatcher Laval University, Québec, Canada
Abstract:
We engage a study of non-modal linear logic which takes times $\otimes$ and the linear conditional $\multimap$ to be the basic connectives instead of times and linear negation $()^\bot$ as in Girard's approach. This difference enables us to obtain a very large subsystem of linear logic (called positive linear logic) without an involutionary negation (if the law of double negation is removed from linear logic in Girard's formulation, the resulting subsystem is extremely limited). Our approach enables us to obtain several natural models for various subsystems of linear logic, including a generic model for so-called minimal linear logic. In particular, it is seen that these models arise spontaneously in the transition from set theory to multiset theory. We also construct a model of full (nonmodal) linear logic that is generic relative to any model of positive linear logic. However, the problem of constructing a generic model for positive linear logic remains open. Bibliography: 2 titles.
Received: 01.03.1994
Citation:
Marc Bergeron, William Hatcher, “Models of linear logic”, Studies in constructive mathematics and mathematical logic. Part IX, Zap. Nauchn. Sem. POMI, 220, POMI, St. Petersburg, 1995, 23–35; J. Math. Sci. (New York), 87:1 (1997), 3192–3199
Linking options:
https://www.mathnet.ru/eng/znsl4278 https://www.mathnet.ru/eng/znsl/v220/p23
|
Statistics & downloads: |
Abstract page: | 150 | Full-text PDF : | 34 |
|