Oberseminar "Mathematische Logik" - Dr. Dominik Wehr

Cyclic proof theory studies proof systems whose derivations are rule-annotated finite graphs, rather than the usual rule-annotated finite trees. This presentation aims to be both an introduction to cyclic proof theory and to outline some of the results I obtained in my dissertation.