Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Intuitionistic Logic
http://plato.stanford.edu/entries/logic-intuitionistic/
A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
http://mathworld.wolfram.com/IntuitionisticLogic.html
A very brief overview of the subject by Alex Sakharov from MathWorld.
http://en.wikipedia.org/wiki/Intuitionistic_logic
Wikipedia (free encyclopedia) article.
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.
http://alleystoughton.us/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.
Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Intuitionistic Logic
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us