Axiomatizing first order consequences in dependence logic

Juha Kontinen, Jouko Väänänen

Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this…