A very brief overview of the subject by Alex Sakharov from MathWorld.
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.
A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
Autobiographical article by Fred Richman, describing his encounter with intuitionism.
Maintained by Fred Richards.
Compiled by Erik Palmgren.
A very concise introduction to the subject. Includes overview of the syntax, Kripke models, analytic tableau, natural deduction.
A brief hypertext overview of the history of the subject.
Wikipedia (free encyclopedia) article.
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.
|