Search 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