Pages that link to "Item:Q5056354"
From MaRDI portal
The following pages link to Generalized Realizability and Basic Logic (Q5056354):
Displaying 10 items.
- Generalized realizability and Markov's principle (Q785957) (← links)
- General recursive realizability and basic logic (Q828116) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Generalized realizability for extensions of the language of arithmetic (Q2287392) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- (Q3075442) (← links)
- ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS (Q3216644) (← links)
- (Q5343334) (← 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)