Propositional union closed team logics

Research output: Contribution to journalArticleAcademicpeer-review

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 languageEnglish
Article number103102
JournalAnnals of Pure and Applied Logic
Volume173
Issue number6
DOIs
Publication statusPublished - Jun 2022
Externally publishedYes

Fingerprint

Dive into the research topics of 'Propositional union closed team logics'. Together they form a unique fingerprint.

Cite this