In this article we propose an extension to the typed natural deduction calculus 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.

翻译：本文提出对类型化自然演绎演算TNDPQ的扩展，用于建模概率分类器中个体公平性与交叉性的验证。其解释通过为结构规则Weakening的应用制定特定条件而获得。此类限制由用于检验受保护变量与目标变量间条件独立性的因果标签给出。