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

 
9783319190624: Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Clerbout, Nicolas
Published by Springer International Publishing AG (2015)
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer International Publishing AG, 2015. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783319190624

More information about this seller | Contact this seller

Buy New
US$ 62.14
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Nicolas Clerbout (author), Shahid Rahman (author)
Published by Springer International Publishing 2015-07-08, Berlin (2015)
ISBN 10: 3319190628 ISBN 13: 9783319190624
New paperback Quantity Available: 10
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer International Publishing 2015-07-08, Berlin, 2015. paperback. Condition: New. Seller Inventory # 9783319190624

More information about this seller | Contact this seller

Buy New
US$ 62.63
Convert Currency

Add to Basket

Shipping: US$ 7.98
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Shahid Rahman
Published by Springer
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Condition: New. 110 pages. Thistitle 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 thebrief 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9783319190624

More information about this seller | Contact this seller

Buy New
US$ 72.57
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Clerbout, Nicolas / Rahman, Shahid
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Condition: New. Publisher/Verlag: Springer, Berlin | Dialogical Strategies, CTT demonstrations and the Axiom of Choice | 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. | Chapter 1. Brief Reminder of Constructive Type Theory.- Chapter 2. Dialogues with Play-Objects.- Chapter 3. From dialogical strategies to CTT demonstrations.- Chapter 4. The dialogical take on the Axiom of Choice, and its translation into CTT.- Chapter 5. Building a winning P-strategy out of a CTT demonstration.- Chapter 6. Conclusions and Work in Progress. | Format: Paperback | Language/Sprache: english | 206 gr | 242x169x7 mm | 99 pp. Seller Inventory # K9783319190624

More information about this seller | Contact this seller

Buy New
US$ 69.25
Convert Currency

Add to Basket

Shipping: US$ 3.49
From Germany to U.S.A.
Destination, Rates & Speeds

5.

NICOLAS CLERBOUT
Published by Springer (2015)
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2015. Paperback. Condition: NEW. 9783319190624 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0939706

More information about this seller | Contact this seller

Buy New
US$ 68.50
Convert Currency

Add to Basket

Shipping: US$ 10.64
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Nicolas Clerbout; Shahid Rahman
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Quantity Available: 5
Seller:
ReadWhiz
(Portland, OR, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # ria9783319190624_ing

More information about this seller | Contact this seller

Buy New
US$ 80.59
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Nicolas Clerbout
Published by Springer-Verlag Gmbh Jul 2015 (2015)
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Taschenbuch Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Jul 2015, 2015. Taschenbuch. Condition: Neu. Neuware - 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. 99 pp. Englisch. Seller Inventory # 9783319190624

More information about this seller | Contact this seller

Buy New
US$ 70.65
Convert Currency

Add to Basket

Shipping: US$ 13.99
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Nicolas Clerbout
Published by Springer-Verlag Gmbh Jul 2015 (2015)
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Jul 2015, 2015. Taschenbuch. Condition: Neu. Neuware - 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. 99 pp. Englisch. Seller Inventory # 9783319190624

More information about this seller | Contact this seller

Buy New
US$ 70.65
Convert Currency

Add to Basket

Shipping: US$ 19.97
From Germany to U.S.A.
Destination, Rates & Speeds

9.

Nicolas Clerbout
Published by Springer-Verlag Gmbh Jul 2015 (2015)
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Jul 2015, 2015. Taschenbuch. Condition: Neu. Neuware - 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. 99 pp. Englisch. Seller Inventory # 9783319190624

More information about this seller | Contact this seller

Buy New
US$ 70.65
Convert Currency

Add to Basket

Shipping: US$ 19.97
From Germany to U.S.A.
Destination, Rates & Speeds

10.

Nicolas Clerbout; Shahid Rahman
Published by Springer (2015)
ISBN 10: 3319190628 ISBN 13: 9783319190624
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2015. Condition: New. book. Seller Inventory # M3319190628

More information about this seller | Contact this seller

Buy New
US$ 95.13
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book