Pages that link to "Item:Q1061740"
From MaRDI portal
The following pages link to Dialogues, strategies, and intuitionistic provability (Q1061740):
Displaying 11 items.
- Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus (Q351452) (← links)
- First-order dialogical games and tableaux (Q484155) (← links)
- A curious dialogical logic and its composition problem (Q484198) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- The logic of tasks (Q1849860) (← links)
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution (Q2148798) (← links)
- Game Semantics and the Manifestation Thesis (Q2908761) (← links)
- Dialogue Games for Minimal Logic (Q5013625) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- Dialog (Q5234725) (← links)
- A dialogical route to logical pluralism (Q6088956) (← links)
