Boolean algebra
Deduction
Entailment
Metalogic
Modal logic
Negation
Logic
Philosophical logic
Propositional calculus