Axiomatizing first-order consequences in inclusion logic

Forskningsoutput: TidskriftsbidragArtikelPeer review

Sammanfattning

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.

Originalspråkengelska
TidskriftMathematical Logic Quarterly
Volym66
Utgåva2
Sidor (från-till)195-216
Antal sidor22
ISSN0942-5616
DOI
StatusPublicerad - jul 2020
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 111 Matematik

Citera det här