当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Axiomatizing first-order consequences in inclusion logic
arXiv - CS - Logic in Computer Science Pub Date : 2019-04-12 , DOI: arxiv-1904.06227 Fan Yang
arXiv - CS - Logic in Computer Science Pub Date : 2019-04-12 , DOI: arxiv-1904.06227 Fan Yang
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 axiomatizable 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.
中文翻译:
公理化包含逻辑中的一阶结果
包含逻辑是依赖逻辑的一种变体,它被证明具有与正最大定点逻辑相同的表达能力。包含逻辑不能完全公理化,但它的一阶结果可以公理化。在本文中,我们通过引入一个包含逻辑的自然演绎系统来提供这样一个明确的部分公理化,该系统对于包含逻辑中的一阶结果是合理和完整的。
更新日期:2020-01-22
中文翻译:
公理化包含逻辑中的一阶结果
包含逻辑是依赖逻辑的一种变体,它被证明具有与正最大定点逻辑相同的表达能力。包含逻辑不能完全公理化,但它的一阶结果可以公理化。在本文中,我们通过引入一个包含逻辑的自然演绎系统来提供这样一个明确的部分公理化,该系统对于包含逻辑中的一阶结果是合理和完整的。