A Remark on Negation in Dependence Logic
Juha Kontinen, Jouko Väänánen · Notre Dame Journal of Formal Logic · 2010
We show that for any pair $\phi$ and $\psi$ of contradictory formulas of dependence logic there is a formula $\theta$ of the same logic such that $\phi\equiv\theta$ and $\psi\equiv eg\theta$. This generalizes a result of Burgess.