Search The Directory The Web for Home > Science > Math > Logic and Foundations > Nonstandard_Logics_and_Extensions New! Submit a site   Categories: Dynamic Logic *(4) Set Theory *(18) Fuzzy Logic *(57) Substructural Logics (16) Intuitionistic Logic (11) Temporal Logic (13) Many-valued Logic (6)       whatUseek Collection Sites (submit a site ):   Give your site great placement in this category in as little as two business days!     whatUseek Directory Site Listings:   Computational Tools for Modal Logic - Resources collected by Renate Schmidt.   Dialogue Logic - Homepage maintained by Claus Zinn. Dialogue Logic is a game-theoretic approach to the semantics of logic proposed by Paul Lorenzen, in which validity is modelled by the existence of a winning strategy in a dialogue game between an advocate and an opponent.   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.   Modal Logic - Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford Encyclopedia, by James W. Garson.   Non Standard Logics - A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.   Topics in Logic and Proof Theory - Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks. Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek