Deduction
Rules of inference
Converse
Traditional logic
Entailment
Reachability
Sequent calculus
Implicational propositional calculus
Logic
Propositional calculus
Proof theory