Axiomatizing first-order consequences in dependence logic

Juha Kontinen, Jouko A. Väänänen. Axiomatizing first-order consequences in dependence logic. Annals of Pure and Applied Logic, 164(11):1101-1117, 2013. [doi]

Abstract

Abstract is missing.