Overview
- 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
Part of the book series: SpringerBriefs in Philosophy (BRIEFSPHILOSOPH)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Linking Game-Theoretical Approaches with Constructive Type Theory
Book Subtitle: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Authors: Nicolas Clerbout, Shahid Rahman
Series Title: SpringerBriefs in Philosophy
DOI: https://doi.org/10.1007/978-3-319-19063-1
Publisher: Springer Cham
eBook Packages: Humanities, Social Sciences and Law, Philosophy and Religion (R0)
Copyright Information: The Author(s) 2015
Softcover ISBN: 978-3-319-19062-4Published: 21 July 2015
eBook ISBN: 978-3-319-19063-1Published: 08 July 2015
Series ISSN: 2211-4548
Series E-ISSN: 2211-4556
Edition Number: 1
Number of Pages: XIX, 99
Number of Illustrations: 26 b/w illustrations
Topics: Logic, Mathematical Logic and Formal Languages, Game Theory, Economics, Social and Behav. Sciences