Zobrazeno 1 - 1
of 1
pro vyhledávání: '"dialogical meaning explanations"'
Publikováno v:
The Architecture and Archeology of Modern Logic
Springer. The Architecture and Archeology of Modern Logic, Springer, In press
Springer. The Architecture and Archeology of Modern Logic, Springer, In press
International audience; 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 f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c73e9eed0686f199777724554f3f1e7b
https://shs.hal.science/halshs-04144017/document
https://shs.hal.science/halshs-04144017/document
