Pages that link to "Item:Q828116"
From MaRDI portal
The following pages link to General recursive realizability and basic logic (Q828116):
Displaying 9 items.
- Elementary realizability (Q1362589) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (Q2113424) (← links)
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- (Q3105665) (← links)
- Generalized Realizability and Basic Logic (Q5056354) (← links)
- (Q5554974) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)