Linking game-theoretical approaches with constructive type theory: dialogical strategies, CTT demonstrations and the axiom of choice
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham ; Heidelberg ; New York ; Dordrecht ; London
Springer
[2015]
|
| Series: | SpringerBriefs in philosophy
|
| Subjects: | |
| Online Access: | DE-739 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (xix, 99 Seiten) Diagramme |
| ISBN: | 9783319190631 |
| ISSN: | 2211-4548 |
| DOI: | 10.1007/978-3-319-19063-1 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042730222 | ||
| 003 | DE-604 | ||
| 005 | 20250411 | ||
| 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 rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-11 | ||
| 082 | 0 | |a 160 |2 23 | |
| 100 | 1 | |a Clerbout, Nicolas |e Verfasser |0 (DE-588)1252372906 |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 Nicolas Clerbout, Shahid Rahman |
| 264 | 1 | |a Cham ; Heidelberg ; New York ; Dordrecht ; London |b Springer |c [2015] | |
| 300 | |a 1 Online-Ressource (xix, 99 Seiten) |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a SpringerBriefs in philosophy | |
| 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 |w (DE-604)BV048891088 |
| 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 | |
Record in the Search Index
| _version_ | 1829107543445602304 |
|---|---|
| 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)1252372906 (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>00000nam a2200000 c 4500</leader><controlfield tag="001">BV042730222</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250411</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">rda</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><subfield code="a">DE-11</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="0">(DE-588)1252372906</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">Nicolas Clerbout, Shahid Rahman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham ; Heidelberg ; New York ; Dordrecht ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xix, 99 Seiten)</subfield><subfield code="b">Diagramme</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></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><subfield code="w">(DE-604)BV048891088</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 | 2025-04-11T12:01: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 DE-11 |
| owner_facet | DE-739 DE-11 |
| physical | 1 Online-Ressource (xix, 99 Seiten) Diagramme |
| psigel | ZDB-2-SHU ZDB-2-SHU_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series2 | SpringerBriefs in philosophy |
| spelling | Clerbout, Nicolas Verfasser (DE-588)1252372906 aut Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice Nicolas Clerbout, Shahid Rahman Cham ; Heidelberg ; New York ; Dordrecht ; London Springer [2015] 1 Online-Ressource (xix, 99 Seiten) Diagramme txt rdacontent c rdamedia cr rdacarrier SpringerBriefs in philosophy 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 (DE-604)BV048891088 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 Nicolas Clerbout, Shahid Rahman |
| title_fullStr | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice Nicolas Clerbout, Shahid Rahman |
| title_full_unstemmed | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice 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 |