The novelty was the emphasis on structural rules, thus individuating linear negation.
This, together with new notions of reduction, provides the calculus with a better handling of negation.
There are some minor references to agreement and refusal messages in studies on the development of negation.
Our main interest is in the negation of this propriety.
The constraints on overloaded morphology in synthetic negation do not play a part in the evaluation and are low ranked (figure 15).
They realize view updates in normal logic programs and do not handle disjunctions nor explicit negation in a program.
It might be a problem to examine whether the usages of weak and strict negations can be relevant to those operators.
This is consistent with the behaviour of the usual unsound implementation of negation as failure.
