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/ ]
Hi Vasili A very comprehensive discussion of the issues surrounding categorical linear logic can be found in the book Categorical Semantics of Linear Logic By Paul-Andre Mellies, which can be found on his website: http://www.pps.jussieu.fr/~mellies/ The book also contains an extensive bibliography. Cheers Rick Blute On 11-02-22 5:54 PM, "Vasili I. Galchin" <vigalchin@gmail.com> wrote:
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/ ]
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Le 22/02/2011 23:54, Vasili I. Galchin a écrit :
Hello,
What is the category that is used to interpret linear logic in a categorical logic sense?
Hello, You may find satisfying answers (there is not only one) in Paul-André Melliès' "Categorical Semantics of Linear Logic", available on his website: http://www.pps.jussieu.fr/~mellies/papers/panorama.pdf Regards, Laurent Méhats [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
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/ ]
participants (4)
-
Laurent Méhats -
Richard Blute -
soloviev＠irit.fr -
Vasili I. Galchin