Special Issue of the Logic Journal of the IGPL: Non-Classical Mathematics

A special issue of the Logic Journal of the IGPL, on Non-Classical Mathematics.

• Editorial Preface, Libor Bĕhounek, Greg Restall, and Giovanni Sambin.
• "Mathematical pluralism," Graham Priest
• "A first constructive look at the comparison of projections," Douglas S. Bridges and Luminiţa S. Vîţa
• "Lipschitz functions in constructive reverse mathematics," Iris Loeb
• "Constructive version of Boolean algebra," Francesco Ciraulo, Maria Emilia Maietti, and Paola Toto
• "A generalized cut characterization of the fullness axiom in CZF," Laura Crosilla, Erik Palmgren, and Peter Schuster
• "Interpreting lattice-valued set theory in fuzzy set theory," Petr Hájek and Zuzana Haniková
• "On equality and natural numbers in Cantor-Łukasiewicz set theory," Petr Hájek
• "Identity taken seriously: a non-classical approach," Chris Mortensen
• "Strong, universal and provably non-trivial set theory by means of adaptive logic," Peter Verdee

The entire issue can be found here.

Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.