Pages that link to "Item:Q792319"
From MaRDI portal
The following pages link to Realizability and intuitionistic logic (Q792319):
Displaying 24 items.
- Well-foundedness in realizability (Q850808) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Idealization in applied first-order logic (Q1307866) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- Extensional realizability (Q1356980) (← links)
- Intuitionistic formal theories with realizability in subrecursive classes (Q1377631) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Identity and sortals (and Caesar) (Q1706776) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- Realizability semantics of the early period of Markov's constructivism (history and problems) (Q2751811) (← links)
- Realisability and adequacy for (co)induction (Q2917339) (← links)
- (Q3075442) (← links)
- (Q4428887) (← links)
- (Q4499150) (← links)
- (Q4603449) (← links)
- (Q4861177) (← links)
- Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321) (← links)
- Logics which capture complexity classes over the reals (Q5055931) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- (Q5343334) (← links)
- A light-weight integration of automated and interactive theorem proving (Q5741559) (← links)
