Axiomatizing first-order consequences in inclusion logic

Fan Yang

doi:10.1002/malq.201900031

Axiomatizing first-order consequences in inclusion logic

Fan Yang

Department of Mathematics and Statistics

Research output: Contribution to journal › Article › Scientific › peer-review

Abstract

Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed-point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.

Original language	English
Journal	Mathematical Logic Quarterly
Volume	66
Issue number	2
Pages (from-to)	195-216
Number of pages	22
ISSN	0942-5616
DOIs	https://doi.org/10.1002/malq.201900031
Publication status	Published - Jul 2020
MoE publication type	A1 Journal article-refereed

Fields of Science

111 Mathematics

Access to Document

10.1002/malq.201900031

https://arxiv.org/abs/1904.06227

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{145ac3308ca54c788c6e92d2f18c5287,

title = "Axiomatizing first-order consequences in inclusion logic",

abstract = "Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed-point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.",

keywords = "111 Mathematics",

author = "Fan Yang",

year = "2020",

month = jul,

doi = "10.1002/malq.201900031",

language = "English",

volume = "66",

pages = "195--216",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "2",

}

TY - JOUR

T1 - Axiomatizing first-order consequences in inclusion logic

AU - Yang, Fan

PY - 2020/7

Y1 - 2020/7

N2 - Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed-point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.

AB - Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed-point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.

KW - 111 Mathematics

U2 - 10.1002/malq.201900031

DO - 10.1002/malq.201900031

M3 - Article

SN - 0942-5616

VL - 66

SP - 195

EP - 216

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 2

ER -

Axiomatizing first-order consequences in inclusion logic

Abstract

Fields of Science

Access to Document

Projects

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

Cite this