Loading...
- Type of Document: Article
- DOI: 10.1017/jsl.2019.44
- Publisher: Cambridge University Press , 2019
- Abstract:
- For the Heyting Arithmetic HA,HA is defined [14, 15] as the theory {A | HA-A}, where is called the box translation of A (Definition 2.4). We characterize the Σ1-provability logic of HA as a modal theory (Definition 3.17). © 2019 The Association for Symbolic Logic
- Keywords:
- Completeness principle ; Heyting arithmetic ; Intuitionistic logic ; Modal logic ; Provability logic
- Source: Journal of Symbolic Logic ; Volume 84, Issue 3 , 2019 , Pages 1118-1135 ; 00224812 (ISSN)
- URL: https://www.sciencedirect.com/science/article/abs/pii/S0168007218300617