Special Issue of the Logic Journal of the IGPL on Non-Classical Mathematics, Volume 21, issue 1, 2013.


 download pdf

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.

← New Waves in Philosophical Logic | Writing Archive | Assertion, Denial and Non-Classical Theories →


I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.