Context, Judgement, Deduction

Greta Coraglia, Ivan Di Liberti

We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependen…