| A Bibliography of Constructive Mathematics: Compiled by Erik Palmgren. |
| Confessions of a Formalist, Platonist Intuitionist: Autobiographical article by Fred Richman, describing his encounter with intuitionism. |
| Constructive Mathematics: Maintained by Fred Richards. |
| Intuitionism: A brief hypertext overview of the history of the subject. |
| Intuitionistic Logic: A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis. |
| Intuitionistic Logic: A very brief overview of the subject by Alex Sakharov from MathWorld. |
| Intuitionistic Logic: A very concise introduction to the subject. Includes overview of the syntax, Kripke models, analytic tableau, natural deduction. |
| Intuitionistic logic: Wikipedia (free encyclopedia) article. |
| 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 mathemtaicians in this field. |
| 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. |
Classical
