Pages that link to "Item:Q5255002"
From MaRDI portal
The following pages link to Linking Game-Theoretical Approaches with Constructive Type Theory (Q5255002):
Displaying 5 items.
- Inconsistency-adaptive dialogical logic (Q263112) (← links)
- A short note on type-inhabitation: formula-trees vs. game semantics (Q2353633) (← links)
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)
- Dialogues, Reasons and Endorsement (Q3305643) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)