 
|
Intuitionistic logic - http://en.wikipedia.org/wiki/Intuitionistic_logic
Wikipedia (free encyclopedia) article.
|
|
|
Intuitionistic Logic - http://plato.stanford.edu/entries/logic-intuitionistic/
A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
|
|
|
Possibility Semantics for Intuitionistic Logic - http://www.philosophy.unimelb.edu.au/ajl/2004/2004_2.pdf
Paper by M J Cresswell.
|
|
|
Confessions of a Formalist, Platonist Intuitionist - http://www.math.fau.edu/Richman/html/Confess.htm
Autobiographical article by Fred Richman, describing his encounter with intuitionism.
|
|
|
Intuitionistic Logic - http://mathworld.wolfram.com/IntuitionisticLogic.html
A very brief overview of the subject by Alex Sakharov from MathWorld.
|
|
|
Constructive Mathematics - http://www.math.fau.edu/Richman/html/construc.htm
Maintained by Fred Richards.
|
|
|
PlanetMath: Intuitionistic Logic - http://planetmath.org/encyclopedia/IntuitionisticLogic.html
An introduction to the subject, a mathematical philosophy introduced by the Dutch mathematician, L E J Brouwer.
|
|
Intuitionistic Topology and Foundations of Constructive Mathematics - http://www.fwaaldijk.nl/mathematics.html
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.
|
|
|
A Bibliography of Constructive Mathematics - http://www.math.uu.se/~palmgren/biblio/bib.html
Compiled by Erik Palmgren.
|
|
|
Porgi - http://people.cis.ksu.edu/~stough/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 countermodel of the sequent. It is written in Standard ML.
|