Proof Theory
------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _Wikipedia: [Proof theory](https://en.wikipedia.org/wiki/Proof_theory)_ | _See also: [Logic](../Logic/README.md#logic)_

- - - -


### Papers

A Paedagogic Example of Cut-Elimination (online @ [richardzach.org](https://richardzach.org/wp-content/uploads/2016/09/cutel.pdf)) ★ [💭](commentary/cpressey.md#a-paedagogic-example-of-cut-elimination)

_(in [Theorem Proving](../Theorem%20Proving/README.md#theorem-proving))_ Hyperproof: Logical Reasoning with Diagrams (online @ [aaai.org](https://aaai.org/papers/0016-ss92-02-016-hyperproof-logical-reasoning-with-diagrams/)) ★★


### Books

Basic Proof Theory (borrow @ [archive.org](https://archive.org/details/basicprooftheory0000troe)) ★ [💭](commentary/cpressey.md#basic-proof-theory)

_(in [Theory of Computation](../Theory%20of%20Computation/README.md#theory-of-computation))_ Theory of Deductive Systems and its Applications (borrow @ [archive.org](https://archive.org/details/TheoryofDe_00_Masl)) ★★★ [💭](commentary/cpressey.md#theory-of-deductive-systems-and-its-applications)