On the Cut Elimination of Weak Intuitionistic Tense Logic
Yiheng Wang, Yu Peng, and Zhe Lin

TL;DR
This paper introduces a novel method for proving cut-elimination in weak intuitionistic tense logic, emphasizing the splitting of contraction and cut rules, with potential for broader applications.
Contribution
It presents a new approach to cut-elimination in weak intuitionistic tense logic by focusing on rule splitting, advancing proof theory techniques.
Findings
Successful proof of cut-elimination using the new method
Potential for generalizing the approach to other logics
Foundation for future applications and theories
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDNA and Biological Computing
