TopDir - top sites directory

TopDir is a human edited web directory with various categories, a collection of hand-picked web resources for visitors

TopDir offers free website promotion for webmasters and website owners. Relevant search results and many categories for adding and promoting websites. Free web promotion for websites at TopDir directory. Submit your url for review. A collection of hand-picked web resources for visitors. This page is focused on one particular aspect of Science, Math, Logic and Foundations, Proof Theory.

People (5)
Provability and Interpretability Logics@ (9)

See also:

Science: Math: Logic and Foundations: Computational Logic: Automated Reasoning (1)

http://alessio.guglielmi.name/res/cos/index.html

» 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://plato.stanford.edu/entries/epsilon-calculus/

» The 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

» 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.

» 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.

» 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.

» 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://open-site.org/Science/Mathematics/Logic/Proof_Theory/

» Proof Theory - Open Encyclopedia entry. Hierarchically organized by subtopics.

http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html

» 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.

» ProofTheory.ORG - Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds of experts.

TopDir is a human edited web directory with various categories. Our mission is to organize theme based websites and remove the clutter from the information. We strive to provide context based website results to our visitors. This directory is an evolving one and we regularly add new categories, if there is a necessity. Members can suggest new categories and websites for inclusion. This is one stop promotion site for webmasters and website owners. We invite you to browse the categories and suggest your website url for an editor review. This page is focused on one particular aspect of Science, Math, Logic and Foundations, Proof Theory.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Web directories list the websites by theme. The links in a web directory are collected, edited and organized by humans. Yahoo and Dmoz ODP(Open Directory Project) are considered as the best human-edited web directories on the Internet and they are one of the most trusted and relied traffic sources. Since these directories get thousands of submissions every day, it is sometimes difficult to get listed in them and your URL may take a long time to be reviewed and listed. Generally good directory listings give a surprise boost to your link popularity.