Spar
Linking Game-Theoretical Approaches with Constructive Type Theory
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.
- Undertittel
- Dialogical Strategies, CTT demonstrations and the Axiom of Choice
- Forfatter
- Nicolas Clerbout, Shahid Rahman
- Opplag
- 1st ed. 2015
- ISBN
- 9783319190624
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.7.2015
- Antall sider
- 99
