Directory of Proof Theory Resources

Home > Science > Math > Logic and Foundations > Proof Theory

Subcategories

• People
• Provability and Interpretability Logics

Resources in This Category

• Deep Inference

  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.

• Development of Proof Theory (Stanford Encyclopedia of Philosophy)

  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.

• Epsilon 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.

• G. Japaridze's Papers

  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.

• Mathematical Reasoning Group

  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.

• Proof Theory

  http://open-site.org/Science/Mathematics/Logic/Proof_Theory/
  Open Encyclopedia entry. Hierarchically organized by subtopics.

• Proof Theory as an Alternative to Model Theory

  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.

• Proof Theory Mailing List

  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.

• Proof Theory on the Eve of Year 2000

  http://www.ihes.fr/~carbone/papers/proofsurveyFeferman2000.html
  A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.

Related Categories

• Home > Science > Math > Logic and Foundations > Computational Logic > Automated Reasoning

 

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