Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice

&
Cham, Switzerland: Springer (2015)
  Copy   BIBTEX

Abstract

We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ

Categories

Keywords

Reprint years

ISBN(s)

9783319190624   3319190628

DOI

10.1007/978-3-319-19063-1
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Building a Winning $$\mathbf {P}$$ P -strategy Out of a CTT Demonstration.Shahid Rahman & Nicolas Clerbout
Brief Reminder of Constructive Type Theory.Shahid Rahman & Nicolas Clerbout
Conclusions and Work in Progress.Shahid Rahman & Nicolas Clerbout
Dialogues with Play-Objects.Shahid Rahman & Nicolas Clerbout
From Dialogical Strategies to CTT Demonstrations.Shahid Rahman & Nicolas Clerbout
The Dialogical Take on the Axiom of Choice, and Its Translation into CTT.Shahid Rahman & Nicolas Clerbout

Similar books and articles

The Dialogical Take on the Axiom of Choice, and Its Translation into CTT.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice. Cham, Switzerland: Springer.
Dialogues with Play-Objects.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice. Cham, Switzerland: Springer.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi’s Commentary on the Handbook of Logic. [REVIEW]Nicolas Clerbout, Marie-Hélène Gorisse & Shahid Rahman - 2011 - Journal of Philosophical Logic 40 (5):633-662.
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
What Game Theory can do for NLG: the case of vague language.Kees van Deemter - unknown
Game Theory and Language Generation.Kees van Deemter - unknown
Game theoretical semantics and entailment.D. E. Over - 1981 - Studia Logica 40 (1):67 - 74.
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar.Aarne Ranta - 1995 - Logic Journal of the IGPL 3 (2-3):319-342.
The Game of Language: Studies in Game-Theoretical Semantics and Its Applications.Jaakko Hintikka - 1983 - Springer Verlag.

Analytics

Added to PP
2015-08-16

Downloads
63 (#251,829)

6 months
48 (#84,486)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shahid Rahman
Université Charles-de-Gaulle - Lille 3

Citations of this work

Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.
Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.

View all 48 references / Add more references