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.). © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Fiore, M. P. (2007). Differential structure in models of multiplicative biadditive intuitionistic linear logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4583 LNCS, pp. 163–177). Springer Verlag. https://doi.org/10.1007/978-3-540-73228-0_13
Mendeley helps you to discover research relevant for your work.