MetaXearch > / Math / Logic and Foundations / Nonstandard Logics and Extensions / Intuitionistic Logic / 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. (infos) Intuitionistic Logic A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis. (infos) Confessions of a Formalist, Platonist Intuitionist Autobiographical article by Fred Richman, describing his encounter with intuitionism. (infos) Constructive Mathematics Maintained by Fred Richards. (infos) A Bibliography of Constructive Mathematics Compiled by Erik Palmgren. (infos) Intuitionistic Logic A very brief overview of the subject by Alex Sakharov from MathWorld. (infos) Intuitionistic Logic A very concise introduction to the subject. Includes overview of the syntax, Kripke models, analytic tableau, natural deduction. (infos) Intuitionism A brief hypertext overview of the history of the subject. (infos) Intuitionistic logic Wikipedia (free encyclopedia) article. (infos) 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 mathemtaicians in this field. (infos) Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Statistics

• 3 364 436 urls

© MetaXearch - All rights reserved