On Play Objects and Dialogical Games; Towards a Dialogical Approach to Constructive Type Theory (by S. Rahman, N. Clerbout, Z. MacCauneghey)

&
In P. Allo & V. von Kerkhove (eds.), Modestly radical or radically modes . Festschrift for Jean-Paul van Bendegem. (2014)
  Copy   BIBTEX

Abstract

International audience.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

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

Through your library

My notes

Similar books and articles

First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknown
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
Sobre diálogos, predicción y frases elementales.Shahid Rahman & Nicolas Clerbout - 2013 - Revista de Humanidades de Valparaíso 2:7-46.
On Dialogues, Predication and Elementary sentences.Shahid Rahman & Nicolas Clerbout - 2013 - Revista de Humanidades de Valparaíso 2:7-46.
Implicit Versus Explicit Knowledge in Dialogical Logic.Manuel Rebuschi - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 229--246.
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
From Dialogical Strategies to CTT Demonstrations.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.
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.
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.
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.
Dialogical Logic.Thomas Piecha - 2015
The dialogical approach to paraconsistency.Sahid Rahman & Walter A. Carnielli - 2000 - Synthese 125 (1-2):201-232.
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.

Analytics

Added to PP
2023-03-25

Downloads
14 (#1,017,860)

6 months
8 (#415,941)

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references