Open Directory - Science: Math: Logic and Foundations: Nonstandard Logics and Extensions
  • Computability Logic - Wikipedia (free encyclopedia) article.
  • 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.
  • 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.
  • Non Standard Logics - A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
  • What are Weak Arithmetics - Notes defining the subject. Available in HTML and PS formats.
Volunteer to edit this category.
Copyright © 2012 Netscape Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: Sunday, May 23, 2004 9:28:23 PM EDT - edit
п»ї© 2004-2011 RF1 Systems
counter