Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Logic_and_Foundations/Nonstandard_Logics_and_Extensions
Description
Top
:
Science
:
Math
:
Logic and Foundations
:
Nonstandard Logics and Extensions
(107)
Dynamic Logic
@
(1)
Fuzzy Logic
(11)
Intuitionistic Logic
(15)
Manyvalued Logic
(4)
Modal Logic
(24)
Substructural Logics
(41)
Temporal Logic
(7)
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 nonstandard logic with brief descriptions and references, compiled by Peter Suber.
What are Weak Arithmetics
 Notes defining the subject. Available in HTML and PS formats.
"
Nonstandard Logics and Extensions
" search on:
AOL

Ask

Bing

Gigablast

Google

Lycos

Yahoo

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: January 2, 2007 at 17:54:52 UTC 
edit