Text this: Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >