Linking GameTheoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Ch,Used

Linking GameTheoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Ch,Used

In Stock
SKU: DADAX3319190628
Brand: Springer
$65.96
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the works 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 lefttoright 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 CCTdemonstration of the axiom of choice. The fifth chapter develops the algorithm from CTTdemonstrations to dialogical strategies. This brief concludes by introducing elements of discussion which are to be developed in subsequent work.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

Recently Viewed