24 Feb
2011
24 Feb
'11
8:40 a.m.
Hello, it depends on the fragment of linear logic - for example, "intuitionistic multiplicative linear logic" corresponds to symmetric monoidal closed categories (i.e., one may introduce the structure of free SMCC on this logic). Best Sergei Soloviev
Hello,
What is the category that is used to interpret linear logic in a categorical logic sense?
Thank you,
Vasili
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]