21 April 2022, 14:00, CYB-101

Speaker

Greta Coraglia

Title

Coding deductive systems into a 2-category

Abstract

We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressiveness, we encode both dependent type theory and the calculus of natural deduction as special kinds of judgemental theories. Our efforts allow for new definitions to be given, new relations to be explored, and old results to be recovered.