MetaXearch > / Math / Logic and Foundations / Nonstandard Logics and Extensions / Fuzzy Logic Intuitionistic Logic Many-valued Logic Modal Logic Substructural Logics Temporal Logic Non Standard Logics A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber. (infos) 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. (infos) 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. (infos) What are Weak Arithmetics Notes defining the subject. Available in HTML and PS formats. (infos) Computability Logic Wikipedia (free encyclopedia) article. (infos) Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Statistics

• 3 364 436 urls

© MetaXearch - All rights reserved