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

Abstract

There is not abstract.