In Partnership with AOL
  • 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 - 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 mathematicians 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.
    [!]
Volunteer to edit this category.
Copyright © 1998-2016 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: February 24, 2016 at 7:15:03 UTC - edit