DMCA
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract)
| Citations: | 10 - 0 self |
BibTeX
@MISC{Fiore_differentialstructure,
author = {Marcelo P. Fiore},
title = {Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract)},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. In the first part of the paper I investigate categorical models of multiplicative biadditive intuitionistic linear logic, and note that in them some surprising coherence laws arise. The thesis for the second part of the paper is that these models provide the right framework for investigating differential structure in the context of linear logic. Consequently, within this setting, I introduce a notion of creation operator (as considered by physicists for bosonic Fock space in the context of quantum field theory), provide an equivalent description of creation operators in terms of creation maps, and show that they induce a differential operator satisfying all the basic laws of differentiation (the product and chain rules, the commutation relations, etc.). 1
Keyphrases
differential structure multiplicative biadditive intuitionistic linear logic extended abstract creation operator second part differential operator first part bosonic fock space linear logic categorical model quantum field theory surprising coherence law creation map commutation relation right framework equivalent description chain rule basic law
