Intuitionistic Logic


 Martin-Löf's Type Theory
Google
  Web intuitionistic-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work
Intuitionistic Logic Sites

Science Math Logic and Foundations Nonstandard Logics and Extensions Intuitionistic Logic
Science Math Logic and Foundations Nonstandard Logics and Extensions Intuitionistic Logic sites
Intuitionistic-Logic.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Nonstandard Logics and Extensions Intuitionistic Logic
Science Math Logic and Foundations Nonstandard Logics and Extensions Intuitionistic Logic sites
Intuitionistic-Logic.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.science-sites.work
Intuitionistic Logic
A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
plato.stanford.edu/entries/logic-intuitionistic/
Intuitionistic Logic
A very brief overview of the subject by Alex Sakharov from MathWorld.
mathworld.wolfram.com/IntuitionisticLogic.html
Intuitionistic logic
Wikipedia (free encyclopedia) article.
en.wikipedia.org/wiki/Intuitionistic_logic
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.
www.fwaaldijk.nl/mathematics.html
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 c
alleystoughton.us/porgi/

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by intuitionistic-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 intuitionistic-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work