Pages that link to "Item:Q720757"
From MaRDI portal
The following pages link to The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757):
Displaying 8 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Hard provability logics (Q2658282) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- THE -PROVABILITY LOGIC OF (Q5195060) (← links)
