|
|
|
|
Home / Science / Math / Logic and Foundations / Nonstandard Logics and Extensions
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Computational Tools for Modal Logic - Resources collected by Renate Schmidt.
www.cs.man.ac.uk/~schmidt/tools
- 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.
faui80.informatik.uni-erlangen.de/IMMD8/staff/Zinn/Dialogue
- 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.
plato.stanford.edu/entries/logic-infinitary
- 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.
www.cc.utah.edu/~nahaj/logic/structures
- Mally's Deontic Logic - Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
plato.stanford.edu/entries/mally-deontic
- 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.
plato.stanford.edu/entries/logic-modal
- Non Standard Logics - A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
www.earlham.edu/~peters/courses/logsys/nonstbib.htm
- Topics in Logic and Proof Theory - Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks.
www.statslab.cam.ac.uk/~adb33/research/logic.html
- What are Weak Arithmetics - Notes defining the subject. Available in HTML and PS formats.
www.univ-paris12.fr/lacl/jaf/html/wa.html
|
|
|
|
|