Metalevel negation and non-monotonic reasoning