Philosophical logic
Philosophy of language
Proof theory
Philosophy of mathematics
Entailment
Meaning
Truth-conditional semantics
Negation
Inferential role semantics
Logic
Philosophy
Semantics