In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of counterfactual fairness in probabilistic classifiers. This is obtained formulating specific structural conditions for causal labels and checking that evaluation is robust under their variation.

翻译：本文提出对类型化自然演绎演算TNDPQ的扩展，用于建模概率分类器中反事实公平性的验证。该扩展通过为因果标签制定特定的结构条件，并检验评估在这些条件变化下的鲁棒性来实现。