Non Standard Logics
A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm
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.
http://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.
http://www.cc.utah.edu/~nahaj/logic/structures/
What are Weak Arithmetics
Notes defining the subject. Available in HTML and PS formats.
http://www.univ-paris12.fr/lacl/jaf/html/wa.html
Computability Logic
Wikipedia (free encyclopedia) article.
http://en.wikipedia.org/wiki/Computability_logic
Last Updated: 2004-05-23 21:28:23
OR, You can also try your search with one of the following ABC Search Features
Keywords and References for this category
Nonstandard Logics and Extensions directory, Nonstandard Logics and Extensions websites, Nonstandard Logics and Extensions related info, Nonstandard Logics and Extensions resources, Nonstandard Logics and Extensions information, Nonstandard Logics and Extensions links, Nonstandard Logics and Extensions search, Nonstandard Logics and Extensions category, Nonstandard Logics and Extensions online.