Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer International Publishing
2015
|
| Schriftenreihe: | SpringerBriefs in Philosophy
|
| Schlagworte: | |
| Online-Zugang: | UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIX, 99 p. 26 illus) |
| ISBN: | 9783319190631 |
| ISSN: | 2211-4548 |
| DOI: | 10.1007/978-3-319-19063-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042730222 | ||
| 003 | DE-604 | ||
| 005 | 20150813 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161253 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-19063-1 |l UPA01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804174941594058752 |
|---|---|
| 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>02238nmm 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 |||| o||u| ||||||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="999" ind1=" " 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">UPA01</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-07-10T07:08:24Z |
| 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 |
| spelling | Clerbout, Nicolas Verfasser aut Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice by Nicolas Clerbout, Shahid Rahman Cham [u.a.] Springer International Publishing 2015 1 Online-Ressource (XIX, 99 p. 26 illus) txt rdacontent c rdamedia cr rdacarrier SpringerBriefs in Philosophy 2211-4548 Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie Rahman, Shahid 1956- Verfasser (DE-588)172726697 aut Erscheint auch als Druckausgabe 978-3-319-19062-4 https://doi.org/10.1007/978-3-319-19063-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf 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 Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf 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 Abstract |
| 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 |