Linguistics
Science
Philosophical logic
Polarity item
Boolean algebra
Negation
Downward entailing
Presupposition
E-Prime
Logic
Semantics
Grammar