The following pages link to (Q4809790):
Displayed 5 items.
- Proof and refutation in MALL as a game (Q636305) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- Towards Ludics Programming: Interactive Proof Search (Q5504660) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic (Q6200465) (← links)