Leonardo Ceragioli (LUCI Lab, UNIMI, joint work with Giuseppe Primiero)
September 19, 2025, 10:00 – 12:00, Sala Martinetti – Via Festa del Perdono 7 – Milan.
We propose an extension to the typed natural deduction calculus \textbf{TNDPQ} to model verification of individual fairness and intersectionality in probabilistic classifiers. Their interpretation is obtained by formulating specific conditions for the application of the structural rule of Weakening. Such restrictions are given by causal labels used to check for conditional independence between protected and target variables.
