| Saturday 21 December 2024 | |
| Events for day: Thursday 31 October 2024 |
| 14:00 - 16:00 Mathematical Logic Weekly Seminar On Provability Logic of Heyting Arithmetic School MATHEMATICS In this talk we provide a complete axiomatization of the Provability Logic for Heyting Arithmetic HA (this is the first-order intuitionistic fragment of the Peano Arithmetic PA). It turns out that the provability logic of HA is equal to iGL (intuitionistic fragment of the Gödel-Löb logic GL) plus ◻A → ◻B for some admissible rules A/B of iGL. Then we describe a crucial tool which was helpful during the completeness proof: a new Kripke style semantic for intuitionistic modal logics, called mixed semantics, which is a combination of derivability and usual validity in Kripke models. This talk is based on the following ... |