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 © 2021 by
Pietro Galliani <>

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free