Universal Proof Theory, TACL 2022 Lecture Notes

Autor:	Iemhoff, Rosalie, Jalali, Raheleh
Rok vydání:	2023
Předmět:	Mathematics - Logic Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2305.10888 Zobrazit plný text záznamu View this record from Arxiv