Propositional union closed team logics

Fan Yang

doi:10.1016/j.apal.2022.103102

Propositional union closed team logics

Fan Yang

Department of Mathematics and Statistics

Research output: Contribution to journal › Article › Scientific › peer-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. (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/).

Original language	English
Article number	103102
Journal	Annals of Pure and Applied Logic
Volume	173
Issue number	6
Number of pages	35
ISSN	0168-0072
DOIs	https://doi.org/10.1016/j.apal.2022.103102
Publication status	Published - Jun 2022
MoE publication type	A1 Journal article-refereed

Fields of Science

111 Mathematics
dependence logic
inclusion logic
team semantics
Dependence logic
Inclusion logic
Team semantics

Access to Document

10.1016/j.apal.2022.103102Licence: CC BY

1-s2.0-S0168007222000173-mainFinal published version, 743 KBLicence: CC BY

https://arxiv.org/abs/2008.10324

Logical analysis of no-go theorems in social choice and quantum foundations
Yang, F. (Project manager) & Quadrellaro, D. E. (Participant)
01/01/2019 → 30/11/2022
Project: University of Helsinki Three-Year Research Project

Cite this

@article{442d1ed4de6544e5b14eab25b958ff14,

title = "Propositional union closed team logics",

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. (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/).",

keywords = "111 Mathematics, dependence logic, inclusion logic, team semantics, Dependence logic, Inclusion logic, Team semantics",

author = "Fan Yang",

year = "2022",

month = jun,

doi = "10.1016/j.apal.2022.103102",

language = "English",

volume = "173",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "6",

}

TY - JOUR

T1 - Propositional union closed team logics

AU - Yang, Fan

PY - 2022/6

Y1 - 2022/6

N2 - 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/).

AB - 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/).

KW - 111 Mathematics

KW - dependence logic

KW - inclusion logic

KW - team semantics

KW - Dependence logic

KW - Inclusion logic

KW - Team semantics

U2 - 10.1016/j.apal.2022.103102

DO - 10.1016/j.apal.2022.103102

M3 - Article

SN - 0168-0072

VL - 173

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 6

M1 - 103102

ER -

Propositional union closed team logics

Abstract

Fields of Science

Access to Document

Projects

Logical analysis of no-go theorems in social choice and quantum foundations

Cite this