Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham [u.a.]
Springer International Publishing
2015
|
| Schriftenreihe: | SpringerBriefs in Philosophy
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-319-19063-1 https://doi.org/10.1007/978-3-319-19063-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | 1 Online-Ressource (XIX, 99 p. 26 illus) |
| ISBN: | 9783319190631 |
| ISSN: | 2211-4548 |
| DOI: | 10.1007/978-3-319-19063-1 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042730222 | ||
| 003 | DE-604 | ||
| 005 | 20150813 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 xx o|||| 00||| eng d | ||
| 020 | |a 9783319190631 |c Online |9 978-3-319-19063-1 | ||
| 024 | 7 | |a 10.1007/978-3-319-19063-1 |2 doi | |
| 035 | |a (OCoLC)915903612 | ||
| 035 | |a (DE-599)BVBBV042730222 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 082 | 0 | |a 160 |2 23 | |
| 100 | 1 | |a Clerbout, Nicolas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Linking Game-Theoretical Approaches with Constructive Type Theory |b Dialogical Strategies, CTT demonstrations and the Axiom of Choice |c by Nicolas Clerbout, Shahid Rahman |
| 264 | 1 | |a Cham [u.a.] |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XIX, 99 p. 26 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a SpringerBriefs in Philosophy |x 2211-4548 | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Game Theory, Economics, Social and Behav. Sciences | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 700 | 1 | |a Rahman, Shahid |d 1956- |e Verfasser |0 (DE-588)172726697 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-19062-4 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-19063-1 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SHU | ||
| 940 | 1 | |q ZDB-2-SHU_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028161253 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-19063-1 |l DE-739 |p ZDB-2-SHU |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1819275810175975424 |
|---|---|
| adam_text | LINKING GAME-THEORETICAL APPROACHES WITH CONSTRUCTIVE TYPE THEORY
/ CLERBOUT, NICOLAS
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
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.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LINKING GAME-THEORETICAL APPROACHES WITH CONSTRUCTIVE TYPE THEORY
/ CLERBOUT, NICOLAS
: 2015
ABSTRACT / INHALTSTEXT
THISTITLE 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 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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Clerbout, Nicolas Rahman, Shahid 1956- |
| author_GND | (DE-588)172726697 |
| author_facet | Clerbout, Nicolas Rahman, Shahid 1956- |
| author_role | aut aut |
| author_sort | Clerbout, Nicolas |
| author_variant | n c nc s r sr |
| building | Verbundindex |
| bvnumber | BV042730222 |
| collection | ZDB-2-SHU |
| ctrlnum | (OCoLC)915903612 (DE-599)BVBBV042730222 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| doi_str_mv | 10.1007/978-3-319-19063-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02239nam a2200505zc 4500</leader><controlfield tag="001">BV042730222</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150813 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319190631</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-19063-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-19063-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915903612</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730222</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clerbout, Nicolas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Linking Game-Theoretical Approaches with Constructive Type Theory</subfield><subfield code="b">Dialogical Strategies, CTT demonstrations and the Axiom of Choice</subfield><subfield code="c">by Nicolas Clerbout, Shahid Rahman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIX, 99 p. 26 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">SpringerBriefs in Philosophy</subfield><subfield code="x">2211-4548</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Game Theory, Economics, Social and Behav. Sciences</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rahman, Shahid</subfield><subfield code="d">1956-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172726697</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-19062-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-19063-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SHU_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161253</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-19063-1</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042730222 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:18:25Z |
| institution | BVB |
| isbn | 9783319190631 |
| issn | 2211-4548 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161253 |
| oclc_num | 915903612 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | 1 Online-Ressource (XIX, 99 p. 26 illus) |
| psigel | ZDB-2-SHU ZDB-2-SHU_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series2 | SpringerBriefs in Philosophy |
| spellingShingle | Clerbout, Nicolas Rahman, Shahid 1956- Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie |
| title | Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice |
| title_auth | Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice |
| title_exact_search | Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice |
| title_full | Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice by Nicolas Clerbout, Shahid Rahman |
| title_fullStr | Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice by Nicolas Clerbout, Shahid Rahman |
| title_full_unstemmed | Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice by Nicolas Clerbout, Shahid Rahman |
| title_short | Linking Game-Theoretical Approaches with Constructive Type Theory |
| title_sort | linking game theoretical approaches with constructive type theory dialogical strategies ctt demonstrations and the axiom of choice |
| title_sub | Dialogical Strategies, CTT demonstrations and the Axiom of Choice |
| topic | Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie |
| topic_facet | Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie |
| url | https://doi.org/10.1007/978-3-319-19063-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161253&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT clerboutnicolas linkinggametheoreticalapproacheswithconstructivetypetheorydialogicalstrategiescttdemonstrationsandtheaxiomofchoice AT rahmanshahid linkinggametheoreticalapproacheswithconstructivetypetheorydialogicalstrategiescttdemonstrationsandtheaxiomofchoice |