Now Released Logica Universalis Volume 8, Issue 2, June 2014 Olivia Caramello, Institut des Hautes Etudes Scientifiques, France Fra??ss?????s Construction from a Topos-Theoretic Perspective http://link.springer.com/article/10.1007/s11787-014-0104-6 Thomas Macaulay Ferguson, City University of New York, USA On Non-Deterministic Quantification http://link.springer.com/article/10.1007/s11787-014-0100-x Karin U. Katz, Mikhail G. Katz, Bar Ilan University, Israel Taras Kudryk, Lviv National University, Ukraine Toward a Clarity of the Extreme Value Theorem http://link.springer.com/article/10.1007/s11787-014-0102-8 Katalin Bimb??, University of Alberta, Canada J. Michael Dunn, Indiana University, USA Extracting BB'IW Inhabitants of Simple Types From Proofs in the Sequent Calculus LTt-> for Implicational Ticket Entailment http://link.springer.com/article/10.1007/s11787-014-0099-z Nissim Francez, Technion ??? Israel Institute of Technology Harmony in Multiple-Conclusion Natural-Deduction http://link.springer.com/article/10.1007/s11787-014-0103-7
----------------------------------------------------------------------------------------------------------------------------------------------------------------------> Jean-Yves Beziau Editor-in-Chief - Logica Universalis
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]