Pages that link to "Item:Q720757"
From MaRDI portal
The following pages link to The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757):
Displaying 20 items.
- On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness (Q1182692) (← links)
- The logic of arithmetical hierarchy (Q1315831) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- Fragments of HA based on \(\Sigma_ 1\)-induction (Q1920237) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← 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)
- Self provers and \(\Sigma_{1}\) sentences (Q2903747) (← links)
- Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147) (← links)
- Preservativity logic: An analogue of interpretability logic for constructive theories (Q4808463) (← links)
- THE -PROVABILITY LOGIC OF (Q5195060) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)
