DEADLINE EXTENSION: call for papers

DEADLINE EXTENSION: call for papers

[Valeria de Paiva]

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,  <Andre.Rodin@ens.fr> 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 EXTENSION

  Guest Editors of this Special Issue: Valeria Paiva (University of Birmingham)
  and Andrei Rodin (University Paris-Diderot).

  Categorical logic is a branch of Category theory (in mathematics),
  strongly connected to both  mathematical logic and  theoretical
  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  fit 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




-- 
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/ ]