Web Directory

  Proof Theory (16)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

Nomoz Sub Categories

See Also - Related Categories
Featured Websites in this category
http://www-logic.stanford.edu/proofsurvey.html
Featured Site Proof Theory on the Eve of Year 2000 Open in a new browser windowLink Details
- A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
- http://www-logic.stanford.edu/proofsurvey.html

Lock this listing - So it can't be removed Report this listing Add a new Featured link

Regular Websites in this category

Proof Theory as an Alternative to Model Theory Open in a new windowLink Details
- Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
- http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
G. Japaridze's Papers Open in a new windowLink Details
- Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.
- http://www.csc.villanova.edu/~japaridz/study.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Proof Theory Open in a new windowLink Details
- Open Encyclopedia entry. Hierarchically organized by subtopics.
- http://open-site.org/Science/Mathematics/Logic/Proof_Theory/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Topics in Logic and Proof Theory Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
ProofTheory.ORG Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The Calculus of Structures Open in a new windowLink Details
- 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

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The Epsilon Calculus Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Logic of programming Open in a new windowLink Details
- 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)
- http://iml.univ-mrs.fr/ldp/welcome.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Mathematical Reasoning Group Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Linear Network Open in a new windowLink Details
- 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, Ed
- http://iml.univ-mrs.fr/ldp/LINEAR/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]