论文标题
命题联盟封闭的团队逻辑
Propositional union closed team logics
论文作者
论文摘要
在本文中，我们研究了几个在工会下关闭的命题团队逻辑，包括命题包容逻辑。我们证明所有这些逻辑都是表达完整的，我们为这些逻辑引入了声音和完整的自然扣除系统。我们还讨论了这些逻辑中的局部属性及其与插值的联系。
In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of natural deduction for these logics. We also discuss the locality property and its connection with interpolation in these logics.
