Current location: Math > Logic and Foundations > Nonstandard Logics and Extensions
1. 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 potentiall
http://plato.stanford.edu/entries/logic-infinitary/ - 14-12-2001
-
[detailed information]
Rating: [6.00] Votes: [761]
|
2. 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 axi
http://www.cc.utah.edu/~nahaj/logic/structures/ - 11-08-2001
-
[detailed information]
Rating: [6.00] Votes: [1121]
|
3. Non Standard Logics
A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm - 31-01-2003
-
[detailed information]
Rating: [6.00] Votes: [935]
|
5. Topics in Logic and Proof Theory
Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks.
http://www.maths.bris.ac.uk/~maadb/research/topics/logic/ - 22-09-2002
-
[detailed information]
Rating: [5.00] Votes: [1837]
|
|
