* linear logic
@ 2011-02-22 22:54 Vasili I. Galchin
2011-02-23 15:09 ` Richard Blute
2011-02-23 17:43 ` Laurent Méhats
0 siblings, 2 replies; 3+ messages in thread
From: Vasili I. Galchin @ 2011-02-22 22:54 UTC (permalink / raw)
To: Categories mailing list
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/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: linear logic
2011-02-22 22:54 linear logic Vasili I. Galchin
@ 2011-02-23 15:09 ` Richard Blute
2011-02-23 17:43 ` Laurent Méhats
1 sibling, 0 replies; 3+ messages in thread
From: Richard Blute @ 2011-02-23 15:09 UTC (permalink / raw)
To: Vasili I. Galchin, Categories mailing list
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/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: linear logic
2011-02-22 22:54 linear logic Vasili I. Galchin
2011-02-23 15:09 ` Richard Blute
@ 2011-02-23 17:43 ` Laurent Méhats
1 sibling, 0 replies; 3+ messages in thread
From: Laurent Méhats @ 2011-02-23 17:43 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2011-02-23 17:43 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-02-22 22:54 linear logic Vasili I. Galchin
2011-02-23 15:09 ` Richard Blute
2011-02-23 17:43 ` Laurent Méhats
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).