Subcategories 2
Related categories 1
Sites 8
The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.
An historic description of changes in proof theory over the years. Topics cover prehistoric, Hilbert's methods, analysis, natural deduction, and sequent calculus.
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.
Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.
Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
Newsgroup created to subscribe and send in announcements of events relating to proof theory. List of participants with their web sites, archive of messages.
A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
An historic description of changes in proof theory over the years. Topics cover prehistoric, Hilbert's methods, analysis, natural deduction, and sequent calculus.
The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.
Newsgroup created to subscribe and send in announcements of events relating to proof theory. List of participants with their web sites, archive of messages.
A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.
Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.
Last update:
October 5, 2022 at 7:05:47 UTC
Check out
Regional: Europe: United Kingdom: Scotland: Dundee, City of: Society and Culture
- Recently edited by merlin1
- Recently edited by merlin1