Dialogical Logic and Constructive Type Theory New Explorations - HAL Accéder directement au contenu
Chapitre d'ouvrage Année : 2023

Dialogical Logic and Constructive Type Theory New Explorations

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.13 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
16 Consultations
65 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus