Universal Proof Theory, TACL 2022 Lecture Notes

05/18/2023

∙

by   Rosalie Iemhoff, et al.

∙

0

∙

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.