THE -PROVABILITY LOGIC OF
| Autor: | S. Mojtaba Mojtahedi, Mohammad Ardeshir |
|---|---|
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | The Journal of Symbolic Logic. 84:1118-1135 |
| ISSN: | 1943-5886 0022-4812 |
| DOI: | 10.1017/jsl.2019.44 |
| Popis: | For the Heyting Arithmetic HA, $HA^{\text{*}} $ is defined [14, 15] as the theory $\left\{ {A|HA \vdash A^\square } \right\}$, where $A^\square $ is called the box translation of A (Definition 2.4). We characterize the ${\text{\Sigma }}_1 $-provability logic of $HA^{\text{*}} $ as a modal theory $iH_\sigma ^{\text{*}} $ (Definition 3.17). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|