Linking Game-Theoretical Approaches with Constructive Type Theory

Name: Linking Game-Theoretical Approaches with Constructive Type Theory
SKU: 23095687
Price: 135.99 AUD
Availability: InStock

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

By:

Format:

Paperback / softback

Series:

Springerbriefs in Philosophy

Show Hide Adult Content

$135.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 13-25 June using International Courier

Description

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The first chapters in the brief offer overviews on the two frameworks discussed in the book with an emphasis on the dialogical framework. The third chapter demonstrates the left-to-right direction of the equivalence result. This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific winning strategy into a CCT-demonstration of the axiom of choice. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies. This brief concludes by introducing elements of discussion which are to be developed in subsequent work.

Release date Australia

July 21st, 2015

Author

Audience

Professional & Vocational

Edition

1st ed. 2015

Illustrations

26 Illustrations, black and white; XIX, 99 p. 26 illus.

Pages

Series

Springerbriefs in Philosophy

Dimensions

155x235x7

ISBN-13

9783319190624

Product ID

23095687

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here