# Dependence Logic

[New Entry by Pietro Galliani on February 23, 2017.]
Dependence logic is an extension of first-order logic which adds to it dependence atoms, that is, expressions of the form (eqord(x_1 ldots x_n, y)) which assert that the value of (y) is functionally dependent on (in other words, determined by) the values of (x_1 ldots x_n). These atoms permit the specification of non-linearly ordered dependency patterns between variables, much in the same sense of IF-Logic slashed quantifiers; but, differently Read more [...]