Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Heftet /
2015
/ Engelsk
Produktdetaljer
ISBN
9783319190624
Publisert
2015-07-21
Utgiver
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
19
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.
Les mer
Links two of the most dominant research streams in philosophy of logic - game theory and proof theory Builds a link between the two main theories using the dialogical approach to logic Focuses on the logically valid fragment of Constructive Type Theory Includes supplementary material: sn.pub/extras
Les mer
Produktdetaljer
ISBN
9783319190624
Publisert
2015-07-21
Utgiver
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
19