Is cut semantical?

Cut-free proofs correspond more or less to dinatural transformations, suitably strengthened to require invariance under logical relations when necessary. Is there a semantical counterpart in this sense to proofs with cut? Or is the chaotic nature of cut incompatible with this sort of syntax-semantics correspondence? Vaughan Pratt