On the Cut Elimination of Weak Intuitionistic Tense Logic
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916260942446592 |
|---|---|
| author | Wang, Yiheng Peng, Yu Lin, Zhe |
| author_facet | Wang, Yiheng Peng, Yu Lin, Zhe |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_09970 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the Cut Elimination of Weak Intuitionistic Tense Logic Wang, Yiheng Peng, Yu Lin, Zhe Logic Logic in Computer Science 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. |
| title | On the Cut Elimination of Weak Intuitionistic Tense Logic |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2405.09970 |