8 citations · 45 across the 26 of their papers we have counts for
1 paper · 2 filters
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…