www.manages.com - Open Directory

Directory : Science : Math : Logic and Foundations : Nonstandard Logics and Extensions :

Description



  • Computational Tools for Modal Logic - Resources collected by Renate Schmidt.
  • 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.
  • Mally's Deontic Logic - Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
  • 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.
  • What are Weak Arithmetics - Notes defining the subject. Available in HTML and PS formats.
  • Search our Wiki for Logics Foundations Extensions - Find more information about this subject by clicking here

This category needs an editor


Last update : 2003-01-01 05:41:30

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor