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