因果团队上的反事实与依赖：表达力与自然演绎系统
逻辑
2020-04-03 v1
摘要
我们分析了 Barbero 和 Sandu（2018）中引入的因果-观测语言，这些语言允许在统一框架中讨论干预主义反事实与函数依赖。特别地，我们系统地研究了这些语言在因果团队语义下的表达力，并为每种语言提供了完备的自然演绎演算。作为通向完备性的一步，我们在因果团队语义的广义版本上对这些语言进行了公理化，该广义版本本身也颇具独立意义。
引用
@article{arxiv.2004.00952,
title = {Counterfactuals and dependencies on causal teams: expressive power and deduction systems},
author = {Fausto Barbero and Fan Yang},
journal= {arXiv preprint arXiv:2004.00952},
year = {2020}
}