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
On Non-Deterministic Quantification Thomas Macaulay Ferguson OriginalPaper 29 March 2014 Pages: 165 - 191
Toward a Clarity of the Extreme Value Theorem Karin U. KatzMikhail G. KatzTaras Kudryk OriginalPaper 01 May 2014 Pages: 193 - 214
Harmony in Multiple-Conclusion Natural-Deduction Nissim Francez OriginalPaper 09 May 2014 Pages: 215 - 259
Fraïssé’s Construction from a Topos-Theoretic Perspective Olivia Caramello OriginalPaper 04 May 2014 Pages: 261 - 281