Directory of Intuitionistic Logic Resources

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Intuitionistic Logic

Subcategories

• Martin-Löf's Type Theory

Resources in This Category

• Intuitionistic Logic

  http://plato.stanford.edu/entries/logic-intuitionistic/
  A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.

• Intuitionistic Logic

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

• Intuitionistic logic

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

• 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.

• Porgi

  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