Pages that link to "Item:Q5569434"
From MaRDI portal
The following pages link to Dialogspiele als Semantische Grundlage von Logikkalkülen (Q5569434):
Displayed 11 items.
- Dialogues, strategies, and intuitionistic provability (Q1061740) (← links)
- Modal quantum logic and its dialogic foundation (Q1148903) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- A non-classical logic for physics (Q1224574) (← links)
- Quantum logic of quantifiers (Q1241508) (← links)
- Is (quantum) logic empirical? (Q1243709) (← links)
- How does quantum logic correspond to physical reality? (Q1250217) (← links)
- A constructive game semantics for the language of linear logic (Q1361252) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- The logic of tasks (Q1849860) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)