Theory of Proofs

This website has moved!

You are looking at an archived page. The website has moved to richardzach.org.

Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)

The epsilon calculus and Herbrand complexity

The epsilon calculus

Generalizing theorems in real closed fields

Note on generalizing theorems in algebraically closed fields

Short proofs of tautologies using the schema of equivalence

Algorithmic structuring of cut-free proofs

Links

@RrrichardZach on Twitter

Richard's Logic Blog

PhilPapers profile

Google Scholar profile

Papers on arXiv

GitHub profile

Mathematics Genealogy entry