2015
DOI: 10.1016/j.apal.2014.09.002
|View full text |Cite
|
Sign up to set email alerts
|

Axiomatizing first-order consequences in independence logic

Abstract: Independence logic, introduced in [8], cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axiomatization and prove that it is complete in this sense. The proof is a generalization of the similar result for dependence logic introduced in [15].

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4

Citation Types

0
64
0

Year Published

2016
2016
2020
2020

Publication Types

Select...
4
1

Relationship

1
4

Authors

Journals

citations
Cited by 21 publications
(64 citation statements)
references
References 13 publications
0
64
0
Order By: Relevance
“…However, the first-order consequences of IndS are axiomatizable. A complete natural deduction system for the first-order consequence relation over sentences of IndS was given in [16]. More recently, Kontinen [23] generalized this result to open formulas by adding an extra predicate symbol to the signature.…”
Section: Definition 5 (Semantics) Suppose That M Is An L -Model For mentioning
confidence: 97%
See 4 more Smart Citations
“…However, the first-order consequences of IndS are axiomatizable. A complete natural deduction system for the first-order consequence relation over sentences of IndS was given in [16]. More recently, Kontinen [23] generalized this result to open formulas by adding an extra predicate symbol to the signature.…”
Section: Definition 5 (Semantics) Suppose That M Is An L -Model For mentioning
confidence: 97%
“…That is, Â D is derivable in independence logic using the assumptions in Arrow . Due to its strong expressive power, the full independence logic is not axiomatizable (see [16] and also [25]). However, the first-order consequences of IndS are axiomatizable.…”
Section: Definition 5 (Semantics) Suppose That M Is An L -Model For mentioning
confidence: 99%
See 3 more Smart Citations