Skip to content

The Proof Theory Blog

⊢ ∃x (D(x) → ∀yD(y))

Menu
  • Home
  • About
  • Contribute
  • Resources
Menu

About

Welcome to The Proof Theory Blog! The purpose of this website is to give proof theorists a venue to communicate ideas, works-in-progress, gems, or simply observations that may be relevant to the proof theory community. The hope is that it can eventually evolve into a vibrant forum for proof theoretic discussions and collaboration.

Proof theory has a storied history, with widespread representation and influence ranging across philosophy, mathematics and computer science. While such breadth is undoubtedly a reflection of its success as an academic discipline, this also means that its various communities have somewhat diverged in their approaches, techniques and even notationsWhat is the right symbol for implication? Which symbol delimits the LHS and RHS of a sequent? and definitionsWhat is the sequent calculus? What is the statement of cut-elimination?. At least one way to remedy this is to encourage the communication of folklore results, surveys etc. in an informal setting. At the same time, an online forum allows us to take advantage of richer means of writing than just static PDFs, engaging with content more interactively.

This blog is currently edited by Anupam Das and Thomas Powell, but participation is open to all. Please get in touch by email if you want to get involved in any capacity, e.g. as a contributor or developer, or if you have any feedback.

Meta

  • Register
  • Log in
  • Entries RSS
  • Privacy Policy

Search

© 2023 The Proof Theory Blog | Powered by Minimalist Blog WordPress Theme
The Proof Theory Blog uses cookies, but you can opt-out if you wish. For further information see our privacy policy. Cookie settingsAccept
Privacy & Cookies Policy

Privacy Overview

This website uses cookies to improve your experience while you navigate through the website. Out of these cookies, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may have an effect on your browsing experience.
Necessary
Always Enabled
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Non-necessary
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.
SAVE & ACCEPT