Sequent Calculus Formulation These are the Inference Rules that were rewritten from the Natural Deduction rules:
