negate

Examples of negation

negation
This process does require technical knowledge for rule construction and assumes that the user understands negation as failure extensively.
In what sense is this 'theatre', new or otherwise, the 'negation of art'?
Work has also been carried out in encoding into solutions disjunctions between attributes and negations of attribute values.
Let be an operator on sets of closed formulas with atomic negation.
Working from the motivation given above, we now introduce the notion of a formula with atomic negation formally.
The latter type displays a fairly complex distribution, owing to the fact that it can sometimes appear in contexts without overt negation.
This is consistent with the behaviour of the usual unsound implementation of negation as failure.
It might be a problem to examine whether the usages of weak and strict negations can be relevant to those operators.
They realize view updates in normal logic programs and do not handle disjunctions nor explicit negation in a program.
The constraints on overloaded morphology in synthetic negation do not play a part in the evaluation and are low ranked (figure 15).
Our main interest is in the negation of this propriety.
There are some minor references to agreement and refusal messages in studies on the development of negation.
This, together with new notions of reduction, provides the calculus with a better handling of negation.
The novelty was the emphasis on structural rules, thus individuating linear negation.
This analysis accounts successfully for most of the observed facts, including the obligatory adjacency between negation and the verb.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.