On Banach spaces of sequences and free linear logic exponential modality
Abstract
We introduce a category of vector spaces modelling full propositional linear logic, similar to probabilistic coherence spaces and to Koethe sequences spaces. Its objects are {\it rigged sequences spaces}, Banach spaces of sequences, with norms defined from pairing with finite sequences, and morphisms are bounded linear maps, continuous in a suitable topology. The main interest of the work is that our model gives a realization of the free linear logic exponentials construction.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.03853
- arXiv:
- arXiv:1509.03853
- Bibcode:
- 2015arXiv150903853S
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Logic
- E-Print:
- Math. Struct. Comp. Sci. 29 (2019) 215-242