Propositional union closed team logics

Fan Yang

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Sammanfattning

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. (c) 2022 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).

Originalspråkengelska
Artikelnummer103102
TidskriftAnnals of Pure and Applied Logic
Volym173
Nummer6
Antal sidor35
ISSN0168-0072
DOI
StatusPublicerad - juni 2022
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 111 Matematik

Citera det här