Web Directory

» A Bibliography of Constructive Mathematics
   Compiled by Erik Palmgren.
   http://www.math.uu.se/~palmgren/biblio/bib.html

» Confessions of a Formalist, Platonist Intuitionist
   Autobiographical article by Fred Richman, describing his encounter with intuitionism.
   http://www.math.fau.edu/Richman/html/Confess.htm

» Constructive Mathematics
   Maintained by Fred Richards.
   http://www.math.fau.edu/Richman/html/construc.htm

» Intuitionistic Logic
   A very brief overview of the subject by Alex Sakharov from MathWorld.
   http://mathworld.wolfram.com/IntuitionisticLogic.html

» Intuitionistic Topology and Foundations of Constructive Mathematics
   Math page of Frank Waaldijk, containing articles and PhD thesis on foundations of constructive mathematics and intuitionistic topology. Also links to other mathematicians in this field.
   http://www.fwaaldijk.nl/mathematics.html

» Intuitionistic logic
   Wikipedia (free encyclopedia) article.
   http://en.wikipedia.org/wiki/Intuitionistic_logic

» PlanetMath: Intuitionistic Logic
   An introduction to the subject, a mathematical philosophy introduced by the Dutch mathematician, L E J Brouwer.
   http://planetmath.org/encyclopedia/IntuitionisticLogic.html

» Porgi
   Porgi is a Proof-Or-Refutation Generator for Intuitionistic propositional logic, implementated by Allen Stoughton. Given a sequent, Porgi either finds a minimally sized, normal natural deduction of the sequent, or it finds a "small", tree-based Kripke cou
   http://people.cis.ksu.edu/~stough/porgi/

» Possibility Semantics for Intuitionistic Logic
   Paper by M J Cresswell.
   http://www.philosophy.unimelb.edu.au/ajl/2004/2004_2.pdf