«Logic and Foundations»  : Proof Theory


 People
Google
  Web logic-and-foundations.math.sciencenter.work
«Logic and Foundations»  : Proof Theory Sites

Science Math Logic and Foundations Proof Theory
Science Math Logic and Foundations Proof Theory sites
Proof-Theory.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Proof Theory
Science Math Logic and Foundations Proof Theory sites
Proof-Theory.Logic-and-Foundations.Math.science-sites.work
Deep Inference
The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.
alessio.guglielmi.name/res/cos/
Development of Proof Theory (Stanford Encyclopedia of Philosophy)
An historic description of changes in proof theory over the years. Topics cover prehistoric , Hilbert's methods , analysis , natural deduction , and sequent calculus.
plato.stanford.edu/entries/proof-theory-development/
Epsilon Calculus
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
plato.stanford.edu/entries/epsilon-calculus/
G. Japaridze's Papers
Full list of publications by this author , with about 30 items in the area of proof theory. Many of the papers are downloadable.
www.csc.villanova.edu/~japaridz/study.html
Mathematical Reasoning Group
Research group based in Edinburgh , it is running on the interaction between logic , mathematics and informatics. Links to publications , homepages , reports.
dream.dai.ed.ac.uk/
Proof Theory
Open Encyclopedia entry. Hierarchically organized by subtopics.
open-site.org/Science/Mathematics/Logic/Proof_Theory/
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.
www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html
Proof Theory Mailing List
Newsgroup created to subscribe and send in announcements of events relating to proof theory. List of participants with their web sites , archive of messages.
cs.bath.ac.uk/ag/pt/
Proof Theory on the Eve of Year 2000
A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
www.ihes.fr/~carbone/papers/proofsurveyFeferman2000.html

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 logic-and-foundations.math.sciencenter.work