Nested Sequents for Provability Logic GLP
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2014
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916478674010112 |
|---|---|
| author | Shamkanov, Daniyar |
| author_facet | Shamkanov, Daniyar |
| contents | We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment called J syntactically. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1410_6652 |
| institution | arXiv |
| publishDate | 2014 |
| record_format | arxiv |
| spellingShingle | Nested Sequents for Provability Logic GLP Shamkanov, Daniyar Logic Logic in Computer Science 03F05, 03F45 We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment called J syntactically. |
| title | Nested Sequents for Provability Logic GLP |
| topic | Logic Logic in Computer Science 03F05, 03F45 |
| url | https://arxiv.org/abs/1410.6652 |