Pages that link to "Item:Q1625591"
From MaRDI portal
The following pages link to On arithmetical completeness of the logic of proofs (Q1625591):
Displaying 9 items.
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758) (← links)
- Cauchy completeness in elementary logic (Q3128466) (← links)
- Logic of Proofs and Labels with a Complete Set of Operations (Q3431970) (← 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)