Special Issue of LU on categorical logic

Special Issue of LU on categorical logic

[andrei rodin]

Dear List,

Valeria de Paiva and I served as guest editors for a special issue of journal Logica Universalis on categorical logic. The issuse is now in press, below is the table of contents. 

regards,
Andrei 

The last issue of Logica Universalis has just been launched:

Volume 7, Issue 3, September 2013
Special Issue on Categorical Logic

Edited By Valeria de Paiva and Andrei Rodin
http://link.springer.com/journal/11787/7/3/page/1

Elements of Categorical Logic: Fifty Years Later
Valeria de Paiva, Andrei Rodin
http://link.springer.com/article/10.1007/s11787-013-0086-9

Deduction as Reduction, from a Categorical Point of View
Dominique Duval
http://link.springer.com/article/10.1007/s11787-013-0082-0

Internal Diagrams and Archetypal Reasoning in Category Theory
Eduardo Ochs
http://link.springer.com/article/10.1007/s11787-013-0083-z

A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an
Arbitrary Category can Always be Replaced by Forcing Over a Complete
Heyting Algebra
Imants Barušs, Robert Woodrow
http://link.springer.com/article/10.1007/s11787-013-0084-y

What do Freyd’s Toposes Classify?
Peter Johnstone
http://link.springer.com/article/10.1007/s11787-013-0085-x

Dagger Categories of Tame Relations
Bart Jacobs
http://link.springer.com/article/10.1007/s11787-013-0079-8

Quotient Completion for the Foundation of Constructive Mathematics
Maria Emilia Maietti, Giuseppe Rosolini
http://link.springer.com/article/10.1007/s11787-013-0080-2




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]