Three Kinds of Negation in Knowledge and Their Mathematical Foundations