Notes toDependence Logic
1. Since, for simplicity, we are working with expressions in negationnormal form, there is no need of a third element to indicate whetherthe current subformula is or is not negated as a component of thesentence.
About
Mirror Sites
View this site from another server:
The Stanford Encyclopedia of Philosophy iscopyright © 2025 byThe Metaphysics Research Lab, Department of Philosophy, Stanford University
Library of Congress Catalog Data: ISSN 1095-5054