View of Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and > | Lietuvos matematikos rinkinys

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