On the Cut Elimination of Weak Intuitionistic Tense Logic

Yiheng Wang, Yu Peng, Zhe Lin

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…