| Date: | 2021, June 15 |
| Time: | 10:30 a. m. |
| Place: | Online |
| Author: | Kranz, Tom |
| Title: | Revisiting Proof Graphs with Examples |
This talk is a revision of my previous talk about proof graphs with a focus on clarity of communication. Less important points have been eliminated and more important ones embellished with examples where possible. I will give a short overview of category theory and introduce the concepts of entailment relations and proof calculi. From there, I will develop a formalization of proof graphs in line with the category-theoretical formalization of logics in Hets.