Pages that link to "Item:Q3980271"
From MaRDI portal
The following pages link to On the question of axiomatization of realizable propositional formulas (Q3980271):
Displaying 6 items.
- Modified realizability and predicate logic (Q1274048) (← links)
- Generalized realizability for extensions of the language of arithmetic (Q2287392) (← links)
- On Two Attempts of Describing Propositional Realizability Logic (Q3094145) (← links)
- A Survey of Propositional Realizability Logic (Q3616428) (← links)
- (Q4411816) (← links)
- (Q4636037) (← links)