论文标题
Carnap的直觉命题逻辑问题
Carnap's problem for intuitionistic propositional logic
论文作者
论文摘要
我们表明，直觉的命题逻辑是\ emph {carnap percorical}：与直觉后果关系一致的连接物的唯一解释是标准解释。这是相对于最知名的语义，而直觉逻辑是合理而完整的。其中包括Kripke语义，Beth语义，Dragalin语义和拓扑语义。它也适用于代数语义，尽管这种情况下的分类与可能的世界风格语义相对于分类性不同。
We show that intuitionistic propositional logic is \emph{Carnap categorical}: the only interpretation of the connectives consistent with the intuitionistic consequence relation is the standard interpretation. This holds relative to the most well-known semantics with respect to which intuitionistic logic is sound and complete; among them Kripke semantics, Beth semantics, Dragalin semantics, and topological semantics. It also holds for algebraic semantics, although categoricity in that case is different in kind from categoricity relative to possible worlds style semantics.
