Axiomatizing first-order consequences in inclusion logic

Fan Yang

Research output: Contribution to journalArticleScientificpeer-review


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
Issue number2
Pages (from-to)195-216
Number of pages22
Publication statusPublished - Jul 2020
MoE publication typeA1 Journal article-refereed

Fields of Science

  • 111 Mathematics

Cite this