From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6543 Path: news.gmane.org!not-for-mail From: Richard Blute Newsgroups: gmane.science.mathematics.categories Subject: Re: linear logic Date: Wed, 23 Feb 2011 15:09:56 +0000 Message-ID: References: Reply-To: Richard Blute NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1298557908 19832 80.91.229.12 (24 Feb 2011 14:31:48 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 24 Feb 2011 14:31:48 +0000 (UTC) To: "Vasili I. Galchin" , Categories mailing list Original-X-From: majordomo@mlist.mta.ca Thu Feb 24 15:31:42 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PscEH-0000nH-NP for gsmc-categories@m.gmane.org; Thu, 24 Feb 2011 15:31:41 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:46125) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PscDn-0003jS-BE; Thu, 24 Feb 2011 10:31:11 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PscDi-0007tW-UA for categories-list@mlist.mta.ca; Thu, 24 Feb 2011 10:31:07 -0400 In-Reply-To: Accept-Language: en-US Content-Language: en-US Content-ID: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6543 Archived-At: 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" 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/ ]