Logic
Mathematical logic
Proof theory
Sequent
Rule of inference
Natural deduction
Propositional calculus
Deep inference
Theorem
Intuitionistic logic
Formal proof
Inference