Notation for Arguments Vertical Notation: S>T T>U S>U Sequent Notation for Arguments Sequent Notation: S>T, T>U | S>U Vertical Notation: S>T T>U S>U…
