Acabou de ser lançado o novo numero de Logica Universalis: Volume 7, Issue 3, September 2013 Special Issue 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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
