Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice /: dialogical strategies, CTT demonstrations and the axiom of choice. (2015)

• Record Type: Book
• Further Information: Note: Nicolas Clerbout, Shahid Rahman.
• Authors: Clerbout, Nicolas; Rahman, Shahid, 1956-
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xix, 99 pages), illustrations
• Subjects: 149; Philosophy; Constructivism (Philosophy); Game theory; Axiom of choice; PHILOSOPHY -- History & Surveys -- General; PHILOSOPHY -- Movements -- Deconstruction; Axiom of choice; Constructivism (Philosophy); Game theory; Philosophy; Logic; Mathematical Logic and Formal Languages; Game Theory, Economics, Social and Behav. Sciences; Mathematics -- Logic; Mathematics -- Game Theory; Mathematical theory of computation; Game theory; Logic; Computer science; Mathematics; Philosophy -- Logic; Philosophy: logic; Electronic books
• Languages: English
• ISBNs: 9783319190631; 3319190636; 3319190628; 9783319190624
• Related ISBNs: 9783319190624
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed July 15, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.