Constructive Type Theory and the Dialogical Turn

In Jürgen Mittelstrass & Christopher von Bülow (eds.), Dialogische Logik. Münster: Mentis. pp. 91-148 (2014)
  Copy   BIBTEX

Abstract

International audience.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

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

Through your library

Similar books and articles

First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
Conditionals and Legal Reasoning.Shahid Rahman & Adjoua Bernadette Dango - 2017 - Nunya. Philosophie, Patrimoine Scientifique Et Technique 5.

Analytics

Added to PP
2023-03-25

Downloads
8 (#1,345,183)

6 months
6 (#587,658)

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