Single-Assumption Systems in Proof-Theoretic Semantics. - Leonardo Ceragioli (J. Philos. Log., 2022)

Trustworthiness Preservation by Copies of Machine Learning Systems. - Leonardo Ceragioli; Giuseppe Primiero (CoRR, 2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality. - Leonardo Ceragioli; Giuseppe Primiero (CoRR, 2025)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness. - Leonardo Ceragioli; Giuseppe Primiero (CoRR, 2025)