Home > Science > Math > Logic and Foundations > Proof Theory
http://alessio.guglielmi.name/res/cos/
The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.
http://plato.stanford.edu/entries/proof-theory-development/
An historic description of changes in proof theory over the years. Topics cover prehistoric, Hilbert's methods, analysis, natural deduction, and sequent calculus.
http://plato.stanford.edu/entries/epsilon-calculus/
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
http://www.csc.villanova.edu/~japaridz/study.html
Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.
http://dream.dai.ed.ac.uk/
Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.
http://open-site.org/Science/Mathematics/Logic/Proof_Theory/
Open Encyclopedia entry. Hierarchically organized by subtopics.
http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html
Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
http://cs.bath.ac.uk/ag/pt/
Newsgroup created to subscribe and send in announcements of events relating to proof theory. List of participants with their web sites, archive of messages.
http://www.ihes.fr/~carbone/papers/proofsurveyFeferman2000.html
A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
Home > Science > Math > Logic and Foundations > Proof Theory
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us