LEADER 03380nam a22005175i 4500
001 810699
003 TR_AnAIT
005 20260131014236
007 cr nn 008mamaa
008 150708s2015 sz | s |||| 0|eng d
020 |a9783319190631|9978-3-319-19063-1
024 7 |a10.1007/978-3-319-19063-1|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/11972
100 1 |aClerbout, Nicolas.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
245 10|aLinking Game-Theoretical Approaches with Constructive Type Theory|h[electronic resource] :|bDialogical Strategies, CTT demonstrations and the Axiom of Choice /|cby Nicolas Clerbout, Shahid Rahman.
250 |a1st ed. 2015.
264 1|aCham :|bSpringer International Publishing :|bImprint: Springer,|c2015.
300 |aXIX, 99 p. 26 illus.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aSpringerBriefs in Philosophy,|x2211-4556
505 0 |aChapter 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.  .
520 |aThis 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.
650 0|aLogic.
650 0|aMachine theory.
650 0|aGame theory.
650 14|aLogic.
650 24|aFormal Languages and Automata Theory.
650 24|aGame Theory.
700 1 |aRahman, Shahid.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9783319190624
776 08|iPrinted edition:|z9783319190648
830 0|aSpringerBriefs in Philosophy,|x2211-4556
856 40|uhttps://doi.org/10.1007/978-3-319-19063-1
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)