From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5991 Path: news.gmane.org!not-for-mail From: Andre.Rodin@ens.fr Newsgroups: gmane.science.mathematics.categories Subject: call for papers Date: Thu, 15 Jul 2010 11:07:26 +0200 Message-ID: Reply-To: Andre.Rodin@ens.fr 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 1279292180 21017 80.91.229.12 (16 Jul 2010 14:56:20 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 16 Jul 2010 14:56:20 +0000 (UTC) Cc: valeria@cuill.com To: categories@mta.ca Original-X-From: categories@mta.ca Fri Jul 16 16:56:19 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OZmKl-0000Vx-Hc for gsmc-categories@m.gmane.org; Fri, 16 Jul 2010 16:56:15 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OZlfi-0002Nb-4l for categories-list@mta.ca; Fri, 16 Jul 2010 11:13:50 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5991 Archived-At: 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 November 2010. Guest Editors of this Special Issue are Valeria Paiva (Cuil, Inc.) 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@cuill.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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]