Considerable effort is spent by proof theorists in showing that cut rules are superfluous in various logics.
证明论理论家花了相当的努力来证实切规则在各种逻辑中是多余的。