Pages that link to "Item:Q3094147"
From MaRDI portal
The following pages link to Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147):
Displaying 15 items.
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758) (← links)
- (Q2998377) (← links)
- (Q3970572) (← links)
- PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC (Q4295253) (← links)
- Weak arithmetical interpretations for the Logic of Proofs (Q4644547) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (Q5351967) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
