Natural Deduction
Backlinks
Weakening Rule
Sequent Calculus
Exchange Rule
Left Rule
Mix Rule
Cut Rule