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
(15)
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.
PlanetMath: Intuitionistic Logic
 An introduction to the subject, a mathematical philosophy introduced by the Dutch mathematician, L E J Brouwer.
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.
Possibility Semantics for Intuitionistic Logic
 Paper by M J Cresswell. [PDF]
"
Intuitionistic Logic
" search on:
AOL

Ask

Bing

Gigablast

Google

Lycos

Yahoo

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

MusicMoz

Wikipedia
Last update: January 2, 2007 at 17:54:52 UTC 
edit