Math: Logic and Foundations: Nonstandard Logics and Extensions

the entire directory only this category

Home : Math : Logic and Foundations : Nonstandard Logics and Extensions

CATEGORIES:

Fuzzy Logic (18)

Intuitionistic Logic (16)

Many-valued Logic (9)

Modal Logic (30)

Substructural Logics (56)

Temporal Logic (11)

LINKS:

Computability Logic
http://en.wikipedia.org/wiki/Computability_logic
Wikipedia (free encyclopedia) article.

Infinitary Logic
http://plato.stanford.edu/entries/logic-infinitary/
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
http://www.cc.utah.edu/~nahaj/logic/structures/
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
http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm
A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.

What are Weak Arithmetics
http://www.univ-paris12.fr/lacl/jaf/html/wa.html
Notes defining the subject. Available in HTML and PS formats.

HOME | ADD A LINK | MODIFY A LINK | LOGIN

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.