We argue that under the stable model semantics default negation can be read as explicit with update. show dynamic logic programming which is based on negation, even in heads, interpreted a variant of updates only. As corollaries, we get an easy description generalized and normal where initially negated literals are updated. These results discussed respect to understanding logic.

Abstract The paper sketches the state of affairs our understanding postverbal negation. It departs from typological finding that there is a cross-linguistic preference for negator to precede verb. Nevertheless, sizable proportion world’s languages adhere pattern with following verb, and such negators are typically morphologically bound. existence this pattern, unfavorable functional perspective...