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.
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-01612603
Contributor : Shahid Rahman <>
Submitted on : Saturday, October 7, 2017 - 12:08:06 PM
Last modification on : Wednesday, October 16, 2019 - 2:48:40 PM
Long-term archiving on: Monday, January 8, 2018 - 2:50:55 PM

File

7octMateriaTH.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

105

Files downloads

527