The main goal of this article is to argue for the existence and crosslinguistic stability a phenomenon that I call “negation-licensed commands” (NLCs), in which commands can be interpreted as such only presence negation. explores morphosyntactic properties NLCs small number unrelated languages. It stops short an analysis phenomenon, will have await future research.

Almost all constraint logic programming systems include negation, yet nowhere has a sound operational model for negation in CLP been discussed. The SLDNF approach of only allowing ground negative subgoals to execute is very restrictive in constraint logic programming where most variables appearing in a derivation never become ground. By describing a scheme for constructive negation in constrain...

Abstract In this article, we take into consideration two semantics of the future tense: linearism, according to which future-tense sentences are interpreted on a single history, and universalism, they evaluated by universally quantifying plurality histories that radiate from present instant. Specifically, focus objection advanced against universalism: if universalism were correct will , negated...