Notes to Dependence Logic

1. Since, for simplicity, we are working with expressions in negation normal form, there is no need of a third element to indicate whether the current subformula is or is not negated as a component of the sentence.

Copyright © 2017 by
Pietro Galliani <>

This is a file in the archives of the Stanford Encyclopedia of Philosophy.
Please note that some links may no longer be functional.