/ Home / Web Directory / Science / Math / Logic and Foundations / Nonstandard Logics and Extensions   (148)

Sub-Categories in Nonstandard Logics and Extensions

Dynamic Logic@ (4) Fuzzy Logic (18) Intuitionistic Logic (16) Many-valued Logic (9)

Modal Logic (30) Substructural Logics (57) Temporal Logic (13)

Web Sites in Category 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.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor