Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2206.00446 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914073192431616 |
|---|---|
| author | Mojtahedi, Mojtaba |
| author_facet | Mojtahedi, Mojtaba |
| contents | This paper studies relative unification and admissibility in the intuitionistic logic. We generalize results of [Ghilardi, 1999; Iemhoff, 2001a] and prove them relative in NNIL(par) propositions, the class of propositions with No Nested Implications in the Left made up from parameters. The main application of such generalization is to characterize provability logic of Heyting Arithmetic HA and prove its decidability [Mojtahedi, 2022]. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2206_00446 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Relative Unification in Intuitionistic Logic: Towards provability logic of HA Mojtahedi, Mojtaba Logic This paper studies relative unification and admissibility in the intuitionistic logic. We generalize results of [Ghilardi, 1999; Iemhoff, 2001a] and prove them relative in NNIL(par) propositions, the class of propositions with No Nested Implications in the Left made up from parameters. The main application of such generalization is to characterize provability logic of Heyting Arithmetic HA and prove its decidability [Mojtahedi, 2022]. |
| title | Relative Unification in Intuitionistic Logic: Towards provability logic of HA |
| topic | Logic |
| url | https://arxiv.org/abs/2206.00446 |