In this paper, we use a new method to prove cut-elimination of intuitionistic tense logic. This method focuses on splitting the contraction rule and cut rules. Further general theories and applications of this method shall be developed in the future.

翻译：本文采用一种新方法证明直觉时态逻辑的切割消去。该方法聚焦于分裂收缩规则与切割规则。该方法的进一步一般性理论及其应用将在未来得到发展。