Pages that link to "Item:Q3094145"
From MaRDI portal
The following pages link to On Two Attempts of Describing Propositional Realizability Logic (Q3094145):
Displaying 7 items.
- Generalized realizability and Markov's principle (Q785957) (← links)
- Propositional logics of closed and open substitutions over Heyting's arithmetic (Q866492) (← links)
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- A Survey of Propositional Realizability Logic (Q3616428) (← links)
- On the question of axiomatization of realizable propositional formulas (Q3980271) (← links)
- (Q4411816) (← links)
- Arithmetic complexity of the predicate logics of certain complete arithmetic theories (Q5957916) (← links)