Nonstandard Logics and Extensions


 Fuzzy Logic
 Intuitionistic Logic
 Many-valued Logic
 Modal Logic

 Substructural Logics
 Temporal Logic
Google
  Web nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work
Nonstandard Logics and Extensions Sites
Science Math Logic and Foundations Nonstandard Logics and Extensions
Science Math Logic and Foundations Nonstandard Logics and Extensions sites
Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Nonstandard Logics and Extensions
Science Math Logic and Foundations Nonstandard Logics and Extensions sites
Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.science-sites.work
Computability Logic
Wikipedia (free encyclopedia) article.
en.wikipedia.org/wiki/Computability_logic
Infinitary Logic
Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
plato.stanford.edu/entries/logic-infinitary/
Logic System Interrelationships
Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X is system Y plus the axiom Z. By John Halleck.
www.cc.utah.edu/~nahaj/logic/structures/
Non Standard Logics
A comprehensive listing of flavours of non-standard logic with brief descriptions and references , compiled by Peter Suber.
www.earlham.edu/~peters/courses/logsys/nonstbib.htm
What are Weak Arithmetics
Notes defining the subject. Available in HTML and PS formats.
www.univ-paris12.fr/lacl/jaf/html/wa.html

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 nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work


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


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