Intuitionistic Logic - The Science Beat ... Scientific Research, Space, NASA

Top > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Intuitionistic Logic

Featured Topics

Archeology

Biology

Chemistry

Ecology

Economics

Engineering

Geology

Hurricanes

Math

Physics

Science Resources

Space

Statistics

Discount Shopping

Electronics

More...

From Over 300 Stores!

Martin-Löf's Type Theory

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.
Intuitionistic Logic - A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
Confessions of a Formalist, Platonist Intuitionist - Autobiographical article by Fred Richman, describing his encounter with intuitionism.
Constructive Mathematics - Maintained by Fred Richards.
A Bibliography of Constructive Mathematics - Compiled by Erik Palmgren.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor