论文信息 - On Natural Deduction in Dependence Logic

On Natural Deduction in Dependence Logic

We study the natural deduction system of dependence logic introduced in [6]. We introduce a single rule that allows us to generalize the completeness theorem of [6] from sentences to open formulas. By using a variant of our rule for independence logic, an analogous generalization of the corresponding completeness theorem of [5] is also obtained.

Juha Kontinen

[1] Erich Grädel,et al. Dependence and Independence , 2012, Stud Logica.

[2] Miika Hannula,et al. Axiomatizing first-order consequences in independence logic , 2013, Ann. Pure Appl. Log..

[3] Pietro Galliani,et al. Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information , 2011, Ann. Pure Appl. Log..

[4] Arnaud Durand,et al. Hierarchies in Dependence Logic , 2011, TOCL.

[5] Pietro Galliani,et al. General Models and Entailment Semantics for Independence Logic , 2013, Notre Dame J. Formal Log..

[6] Juha Kontinen,et al. Axiomatizing first order consequences in dependence logic , 2012, Ann. Pure Appl. Log..