The following pages link to (Q4411816):
Displaying 6 items.
- Complexity of sets obtained as values of propositional formulas (Q869787) (← links)
- On abstract resource semantics and computability logic (Q980944) (← links)
- Finite problems and the logic of the weak law of excluded middle (Q2387846) (← links)
- On Two Attempts of Describing Propositional Realizability Logic (Q3094145) (← links)
- A Survey of Propositional Realizability Logic (Q3616428) (← links)
- On the question of axiomatization of realizable propositional formulas (Q3980271) (← links)