Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
About this book
Authors and Affiliations
-
Instituto de Filosofía, CDHACS, Universidad de Valparaíso, Vina del Mar, Chile
Nicolas Clerbout
-
UMR-CNRS 8163: STL, University of Lille III, Villeneuve d'Ascq, France
Shahid Rahman
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