This website requires JavaScript.

Carnap's problem for intuitionistic propositional logic

Haotian Tong (Tsinghua University)Dag Westerst{\aa}hl (Stockholm UniversityTsinghua University)
Jul 2022
摘要
We show that intuitionistic propositional logic is \emph{Carnap categorical}:the only interpretation of the connectives consistent with the intuitionisticconsequence relation is the standard interpretation. This holds relative to themost well-known semantics with respect to which intuitionistic logic is soundand complete; among them Kripke semantics, Beth semantics, Dragalin semantics,and topological semantics. It also holds for algebraic semantics, althoughcategoricity in that case is different in kind from categoricity relative topossible worlds style semantics.
展开全部
图表提取

暂无人提供速读十问回答

论文十问由沈向洋博士提出,鼓励大家带着这十个问题去阅读论文,用有用的信息构建认知模型。写出自己的十问回答,还有机会在当前页面展示哦。

Q1论文试图解决什么问题?
Q2这是否是一个新的问题?
Q3这篇文章要验证一个什么科学假设?
0
被引用
笔记
问答