A Sequent Calculus for the Tamari Order