From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6372 Path: news.gmane.org!not-for-mail From: Valeria de Paiva Newsgroups: gmane.science.mathematics.categories Subject: DEADLINE EXTENSION: call for papers Date: Sun, 7 Nov 2010 13:54:05 -0800 Message-ID: Reply-To: Valeria de Paiva NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1289231936 21226 80.91.229.12 (8 Nov 2010 15:58:56 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 8 Nov 2010 15:58:56 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Nov 08 16:58:51 2010 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 1PFU7O-0003b1-9B for gsmc-categories@m.gmane.org; Mon, 08 Nov 2010 16:58:50 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:51344) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PFU6U-0000Ga-57; Mon, 08 Nov 2010 11:57:54 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PFU6O-0004pl-1r for categories-list@mlist.mta.ca; Mon, 08 Nov 2010 11:57:48 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6372 Archived-At: Please note that the deadline of this CfP has been extended. If you have a problem with the new deadline, please contact one of the guest editors, emails below. best regards, Valeria & Andrei On Thu, Jul 15, 2010 at 2:07 AM, wrote: CALL FOR PAPERS Journal LOGICA UNIVERSALIS invites authors to submit papers for a SPECIAL ISSUE on CATEGORICAL LOGIC that will be published in 2011. >>>>>The deadline for the submission is 1st JANUARY 2011. <<<< Deadline EX= TENSION Guest Editors of this Special Issue: Valeria Paiva (University of Birmingh= am) and Andrei Rodin (University Paris-Diderot). Categorical logic is a branch of Category theory (in mathematics), strongly connected to both =A0mathematical logic and =A0theoretical computer science. In broad terms, categorical logic represents both syntax and semantics of a logic by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognizable in these terms since around 1970, given the work of pioneers like Joyal, Lawvere, Lambek, Makkai, Martin-Loeuf, Scott and many others. Topics that =A0fit this Special Issue include, but are not limited to, the following: - Relationships between logic and geometry in a topos-theoretic setting; - Categorical logic and Categorical foundations of mathematics; - Sketch theory and diagrammatic syntax; - Functorial semantics and Categorical Model theory; - Quantum logic categorically; - Extensions of categorical semantics to different kinds of logics such as modal and substructural logics; - Comparison of different categorical frameworks Submissions should be made electronically to one or both of the Guest Editors: Valeria Paiva( valeria.depaiva@gmail.com ) or Andrei Rodin (rodin@ens.fr). For further formal details please consult the rubric Instructions for Authors at the Journal's web page: http://www.springer.com/birkhauser/mathematics/journal/11787 --=20 Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]