Volume 7, Issue 3 | Logica Universalis

Search all Logica Universalis articles

Volume 7, Issue 3

September 2013

Special Issue Categorical Logic

Issue Editors:

Valeria de Paiva,
Andrei Rodin

7 articles in this issue

Elements of Categorical Logic: Fifty Years Later
Valeria de Paiva
Andrei Rodin
EditorialNotes 31 July 2013 Pages: 265 - 273
Deduction as Reduction, from a Categorical Point of View
Dominique Duval
OriginalPaper 13 August 2013 Pages: 275 - 289
Internal Diagrams and Archetypal Reasoning in Category Theory
Eduardo Ochs
OriginalPaper 13 August 2013 Pages: 291 - 321
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
OriginalPaper 03 August 2013 Pages: 323 - 334
What do Freyd’s Toposes Classify?
Peter Johnstone
OriginalPaper 17 August 2013 Pages: 335 - 340
Dagger Categories of Tame Relations
Bart Jacobs
OriginalPaper 16 May 2013 Pages: 341 - 370
Quotient Completion for the Foundation of Constructive Mathematics
Maria Emilia Maietti
Giuseppe Rosolini
OriginalPaper 05 May 2013 Pages: 371 - 402