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.

Read Full Paperexternally

Bookmark

View Full Paper

Bookmark

View Full Paper

Cite This Study

Wang et al. (Thu,) studied this question.

synapsesocial.com/papers/68e69d57b6db6435876229ba https://doi.org/https://doi.org/10.48550/arxiv.2405.09970

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1Topdown Cut-Elimination2024
2Proof Theory for Intuitionistic Stable Theories2025
3A note on cut-elimination for intuitionistic logic with actuality2025
4Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic2024
5Rule-Elimination Theorems, ExtenDD. Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms2024

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1Topdown Cut-Elimination2024
2Proof Theory for Intuitionistic Stable Theories2025
3A note on cut-elimination for intuitionistic logic with actuality2025
4Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic2024
5Rule-Elimination Theorems, ExtenDD. Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms2024