s u r f - s i t e . c o m Web Surfing Directory     Top: Science: Math: Logic_and_Foundations: Nonstandard_Logics_and_Extensions Dynamic Logic@  (1) Fuzzy Logic  (17) Intuitionistic Logic  (13) Many-valued Logic  (6) Modal Logic  (29) Substructural Logics  (48) Temporal Logic  (8) 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 surf-site.com - Web Surfing Directory is a free service of Bush Enterprises. Copyright ©2000, by James E. Bush.