Universal Proof Theory, TACL 2022 Lecture Notes
share
The subject of these short lecture notes is a recently emerging area within proof theory, called Universal Proof Theory. Here one is concerned with the existence and nonexistence of good (or useful or applicable or ...) proof systems.
READ FULL TEXT