Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Nonstandard_Logics_and_Extensions/Intuitionistic_Logic
Top
:
Science
:
Math
:
Logic and Foundations
:
Nonstandard Logics and Extensions
:
Intuitionistic Logic
(13)
MartinLöf's Type Theory
(5)
A Bibliography of Constructive Mathematics
 Compiled by Erik Palmgren.
Confessions of a Formalist, Platonist Intuitionist
 Autobiographical article by Fred Richman, describing his encounter with intuitionism.
Constructive Mathematics
 Maintained by Fred Richards.
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 ProofOrRefutation 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", treebased Kripke countermodel of the sequent. It is written in Standard ML.
"
Intuitionistic Logic
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: November 20, 2014 at 9:54:03 UTC 
edit