Axiomatizing first-order consequences in inclusion logic

Research output: Contribution to journalArticleScientificpeer-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 languageEnglish
JournalMathematical Logic Quarterly
Volume66
Issue number2
Pages (from-to)195-216
Number of pages22
ISSN0942-5616
DOIs
Publication statusPublished - Jul 2020
MoE publication typeA1 Journal article-refereed

Fields of Science

  • 111 Mathematics

Projects

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

Yang, F. & Quadrellaro, D. E.

01/01/2019 → …

Project: University of Helsinki Three-Year Research Project

Cite this