Subcategories 1

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.
[Mozilla Einstein]
Last update:
February 24, 2016 at 7:15:05 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional