Search
The Directory
The Web
for
Home
>
Science
>
Math
>
Logic and Foundations
>
Nonstandard Logics and Extensions
>
Intuitionistic_Logic
New!
Submit a site
Categories:
Martin-Löf's Type Theory
(6)
whatUseek Collection Sites
(
submit a site
)
:
Give your site great placement in this category in as little as two business days!
whatUseek Directory Site Listings:
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.
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.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
About
Help
Content Filter
Terms
Privacy Policy
© 2018
whatUseek