External Links

    Journal: Logica Universalis

    Volume 8, Issue 2

    141 -- 164Katalin Bimbó, J. Michael Dunn. Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment
    165 -- 191Thomas Macaulay Ferguson. On Non-Deterministic Quantification
    193 -- 214Karin U. Katz, Mikhail G. Katz, Taras Kudryk. Toward a Clarity of the Extreme Value Theorem
    215 -- 259Nissim Francez. Harmony in Multiple-Conclusion Natural-Deduction
    261 -- 281Olivia Caramello. Fraïssé's Construction from a Topos-Theoretic Perspective
    runs on