| Directory > Science > Math > Logic and Foundations > Proof Theory ProofTheory.ORG
Basic material on proof theory and the home page of the only mailing list devoted to proof theory,
with hundreds of experts.
http://www.prooftheory.org/
Reviews Rating: Not yet Rated
Whois Check
The Calculus of Structures
The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of
derivations made possible by deep inference.
http://alessio.guglielmi.name/res/cos/index.html
Reviews Rating: Not yet Rated
Whois Check
Proof Theory on the Eve of Year 2000
A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
http://www-logic.stanford.edu/proofsurvey.html
Reviews Rating: Not yet Rated
Whois Check
Fast-growing Functions and Unprovable Theorems
Online seminar on Goodstein's Theorem, transfinite ordinals, formal number theory, Wainer Hierarchy
of fast-growing functions, and the Kirby-Paris Theorem.
http://www.maths.bris.ac.uk/~maadb/research/seminars/online/fgfut/fgfut09.html
Reviews Rating: Not yet Rated
Whois Check
The Epsilon Calculus
Discussion of David Hilbert's development of this type of logical formalism with emphasis on
proof-theoretic methods.
http://plato.stanford.edu/entries/epsilon-calculus/
Reviews Rating: Not yet Rated
Whois Check
Logic of programming
The "Logic of Programming" research team is interested in proof theory and its relations
with theoretical computer science. The main topic is mathematical interpretation of proofs : nets
(proof = graph), denotational semantics (proof = function), and game semantics (proof = strategy).
Two realisations of this working programm are Linear Logic and Ludics.
http://iml.univ-mrs.fr/ldp/welcome.html
Reviews Rating: Not yet Rated
Whois Check
Mathematical Reasoning Group
Research group based in Edinburgh, it is running on the interaction between logic, mathematics and
informatics. Links to publications, homepages, reports.
http://dream.dai.ed.ac.uk/
Reviews Rating: Not yet Rated
Whois Check
50th Anniversary of Gentzen's Thesis
Introduction to Gentzen's Hauptsatz and the consistency proof of arithmetic using induction up to
the least epsilon number.
http://dns.uncor.edu/info/raggio/03obra/logfm/logica/gentz50.htm
Reviews Rating: Not yet Rated
Whois Check
Proof Theory as an Alternative to Model Theory
Short article by Dale Miller, arguing that logic programming languages should base their semantics
on proof theory, not model theory.
http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/comment/proof.html
Reviews Rating: Not yet Rated
Whois Check
Linear Network
Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its
thematic is focused on developing the theory and the applications of Linear Logic. It is formed by
seven sites located in Marseille, Bologna, Cambridge, Edinburgh, Lisboa, Paris and Roma, and a few
subsites.
http://iml.univ-mrs.fr/ldp/LINEAR/
Reviews Rating: Not yet Rated
Whois Check
Proof-Theory
Series of reflections by Gianluigi Bellin on Prawitz's idea that two proofs are identical exactly
when they share the same normal form.
http://www.amsta.leeds.ac.uk/~bellin/philo.html
Reviews Rating: Not yet Rated
Whois Check
|
