External Links

    Journal: Logica Universalis

    Volume 7, Issue 3

    265 -- 273Valeria de Paiva, Andrei Rodin. Elements of Categorical Logic: Fifty Years Later
    275 -- 289Dominique Duval. Deduction as Reduction, from a Categorical Point of View
    291 -- 321Eduardo Ochs. Internal Diagrams and Archetypal Reasoning in Category Theory
    323 -- 334Imants Baruss, Robert E. Woodrow. A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra
    335 -- 340Peter Johnstone. What do Freyd's Toposes Classify?
    341 -- 370Bart Jacobs. Dagger Categories of Tame Relations
    371 -- 402Maria Emilia Maietti, Giuseppe Rosolini. Quotient Completion for the Foundation of Constructive Mathematics
    runs on