Fuzzy Logic
People, Fuzzy Logic, Fuzzy Logic, Fuzzy Logic, Fuzzy Logic Archive, Fuzzy Logic Jump Start, Fuzzy Logic Sources, Fuzzy Systems by James F. Brule'
Intuitionistic Logic
Martin-L+Âf's Type Theory, A Bibliography of Constructive Mathematics, Confessions of a Formalist, Platonist Intuitionist, Constructive Mathematics, Intuitionism, Intuitionistic Logic, Intuitionistic Logic, Intuitionistic Logic, Intuitionistic logic, Intuitionistic logic, Porgi
Many-valued Logic
MacColl and Many-Valued Logic: An Exclusive Conjun, Many-Valued Logic, Many-valued Logic W3 Server, Multi-valued Logic Home Page, Multiple-valued Logic: A Tutorial, MVL-TC, Polyvalued Logic, Resources for Many-Valued Logic, The Logic of More
Modal Logic
People, Provability and Interpretability Logics, Computational Tools for Modal Logic, Mally's Deontic Logic, Modal epistemic logic, Modal Logic, Modal Logic, Modal Logic, Modal Logic, Modal Logic, Modal Logics, Modality, Si! Modal Logic, No!
Substructural Logics
Linear Logic, Relevance Logic, Substructural and Paraconsistent Logics, Substructural Logics
Temporal Logic
Efficient Symbolic Tools, Ground Temporal Logic: A Logic for Hardware Verifi, Interval Temporal Logic, JMCA - Java ModelChecking Application, Kono's Temporal Logic Related Information, Marking up Temporal Logic, Spin, Temporal Logic, Temporal Logic Case Study, Temporal Logic in Information Systems
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.