1. Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus \({LT_\to^{t}}\) for Implicational Ticket Entailment

   • Katalin Bimbó
   • J. Michael Dunn

   OriginalPaper 20 March 2014 Pages: 141 - 164

2. On Non-Deterministic Quantification

   • Thomas Macaulay Ferguson

   OriginalPaper 29 March 2014 Pages: 165 - 191

3. Toward a Clarity of the Extreme Value Theorem

   • Karin U. Katz
   • Mikhail G. Katz
   • Taras Kudryk

   OriginalPaper 01 May 2014 Pages: 193 - 214

4. Harmony in Multiple-Conclusion Natural-Deduction

   • Nissim Francez

   OriginalPaper 09 May 2014 Pages: 215 - 259

5. Fraïssé’s Construction from a Topos-Theoretic Perspective

   • Olivia Caramello

   OriginalPaper 04 May 2014 Pages: 261 - 281