Abstract
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\neg\theta$. This generalizes a result of Burgess.
Citation
Juha Kontinen. Jouko Väänänen. "A Remark on Negation in Dependence Logic." Notre Dame J. Formal Logic 52 (1) 55 - 65, 2011. https://doi.org/10.1215/00294527-2010-036
Information