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
(9)
MartinLöf's Type Theory
(4)
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

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

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

MusicMoz

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