Stock image for illustration purposes only - book cover, edition or condition may vary.
Linking Game-Theoretical Approaches with Constructive Type Theory
Clerbout, Nicolas; Rahman, Shahid
€ 64.01
FREE Delivery in Ireland
Description for Linking Game-Theoretical Approaches with Constructive Type Theory
Paperback. Series: SpringerBriefs in Philosophy. Num Pages: 118 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; PBUD; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 203.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
118
Condition
New
Series
SpringerBriefs in Philosophy
Number of Pages
99
Place of Publication
Cham, Switzerland
ISBN
9783319190624
SKU
V9783319190624
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Linking Game-Theoretical Approaches with Constructive Type Theory