Dialogical Logic and Constructive Type Theory New Explorations - HAL-SHS - Sciences de l'Homme et de la Société
Chapitre D'ouvrage Année : 2024

Dialogical Logic and Constructive Type Theory New Explorations

Shahid Rahman
Lily Gallois
  • Fonction : Auteur

Résumé

The present contribution delves into a recent development of the dialogical rules for proof-theory penned by Ansten Klev that arose from Per Martin-Löf's take on assertoric knowledge as involved in the correctness criterion for assertion. The main aim of our paper is to set out the central steps towards a new Dialogical Framework called Immanent Reasoning II, which on the one hand integrates some of the CTT-rules developed by Klev, but on the other, develops further the general tenets of the dialogical perspective on meaning and logic. In contrast to Klev's approach, IR-II contains rules that indicate how to develop plays and winning strategies for a thesis.
Fichier principal
Vignette du fichier
SundholmRG27lastJuneCorrecSR.pdf (795.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

halshs-04144017 , version 1 (28-06-2023)

Identifiants

  • HAL Id : halshs-04144017 , version 1

Citer

Shahid Rahman, Lily Gallois. Dialogical Logic and Constructive Type Theory New Explorations. Springer. The Architecture and Archeology of Modern Logic, Springer, In press. ⟨halshs-04144017⟩
29 Consultations
151 Téléchargements

Partager

More