Science: Math: Logic_and_Foundations: Nonstandard_Logics_and_Extensions:
 |
|
» 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.
|
Der Inhalt dieses Verzeichnisses basiert auf dem Open Directory und kann modifiziert sein.

Powered by DWodp live version 1.2.4
Copyright © 2003-2004 Dominion Web
|