Interacción, Lógica y Contenido Diálogos materiales y lenguajes completamente interpretados en la Teoría Constructiva de Tipos

Abstract : What distinguishes formal dialogues from material ones is that in the latter the formulation of the Socratic Rule prescribes a form of interaction that allows the Proponent to justiffy the affirmation of an elemental proposition on identiies specific to the proposition in question. The purpose of this article is to briefly describe how to produce material dialogues and at the same time discuss their links to the development of fully interpreted languages ​​in Constructive Theory of Types (TCT). As an illustration we will briefly discuss the formulation of the Socratic Rule for the set of natural numbers, for the notion of predicative identity and for the set of Booleans.
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://halshs.archives-ouvertes.fr/halshs-01612603
Contributeur : Shahid Rahman <>
Soumis le : samedi 7 octobre 2017 - 12:08:06
Dernière modification le : vendredi 13 octobre 2017 - 01:14:41

Fichier

7octMateriaTH.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : halshs-01612603, version 1

Collections

Citation

Shahid Rahman, Juan Redmond, Nicolas Clerbout. Interacción, Lógica y Contenido Diálogos materiales y lenguajes completamente interpretados en la Teoría Constructiva de Tipos . 2017. 〈halshs-01612603〉

Partager

Métriques

Consultations de
la notice

6

Téléchargements du document

2