In this paper, we use a new method to prove cut-elimination of weak 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.

翻译：本文采用一种新方法证明了弱直觉时态逻辑的截消去性质。该方法的核心在于分解收缩规则与截规则。关于此方法的进一步一般性理论及其应用将在未来研究中展开。