Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)

by Shahid Rahman (Contributor), Nicolas Clerbout (Author)

• New

  Paperback
  2015

  $61.24

  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.