A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
Logic in Computer Science
2025-10-28 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2507.14655,
title = {A Proof System with Causal Labels (Part II): checking Counterfactual Fairness},
author = {Leonardo Ceragioli and Giuseppe Primiero},
journal= {arXiv preprint arXiv:2507.14655},
year = {2025}
}