On the Cut Elimination of Weak Intuitionistic Tense Logic
<|reference_start|>On the Cut Elimination of Weak Intuitionistic Tense Logic: 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.<|reference_end|>
@article{wang2024on,
    title={On the Cut Elimination of Weak Intuitionistic Tense Logic},
    author={Yiheng Wang, Yu Peng, and Zhe Lin},
    journal={arXiv preprint arXiv:2405.09970},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.09970},
    primaryClass={math.LO cs.LO}
}