Abstract
In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We show 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.
Original language | English |
---|---|
Article number | 103102 |
Journal | Annals of Pure and Applied Logic |
Volume | 173 |
Issue number | 6 |
DOIs | |
Publication status | Published - Jun 2022 |
Externally published | Yes |