Pages that link to "Item:Q792319"
From MaRDI portal
The following pages link to Realizability and intuitionistic logic (Q792319):
Displaying 7 items.
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Extensional realizability (Q1356980) (← links)
- Identity and sortals (and Caesar) (Q1706776) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- A light-weight integration of automated and interactive theorem proving (Q5741559) (← links)
