the entire directory only in 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.

"Nonstandard Logics and Extensions" search on:   AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Copyright © 2012 Netscape Terms of Use