In Partnership with AOL
  • 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 © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: January 2, 2007 at 17:54:52 UTC - edit