Types of negation (used e.g. in Partial Logic):
- weak negation - expressing negation-as-failure or non-truth
- strong negation - expressing explicit negative information or falsity