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