Axiomatizing first-order consequences in dependence logic

https://doi.org/10.1016/j.apal.2013.05.006Get rights and content
Under an Elsevier user license
open archive

Abstract

Dependence logic, introduced in Väänänen (2007) [11], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.

MSC

03C80
03C85
03B15
68P15

Keywords

Dependence logic
Game logic
Independence logic
Independence friendly logic
Natural deduction

Cited by (0)

1

Supported by grant 264917 of the Academy of Finland.

2

Research partially supported by grant 251557 of the Academy of Finland and by the EUROCORES LogICCC LINT programme.