Universal Proof Theory, TACL 2022 Lecture Notes
From MaRDI portal
Abstract: The subject of these short lecture notes is a recently emerging area within proof theory, called emph{Universal Proof Theory}. Here one is concerned with the existence and nonexistence of good (or useful or applicable or ...) proof systems.
This page was built for publication: Universal Proof Theory, TACL 2022 Lecture Notes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6437083)
