A remark on negation in dependence logic

Abstract

We show that for any pair φ and ψ of contradictory formulas of dependence logic thereis a formula θ of the same logic such that φ θ Ξ ψ ¬θ. This generalizes a resultof Burgess. © 2010 by University of Notre Dame.