Carnap's problem for intuitionistic propositional logic
From MaRDI portal
Publication:6406468
arXiv2207.14705MaRDI QIDQ6406468FDOQ6406468
Authors: Haotian Tong, Dag Westerståhl 
Publication date: 29 July 2022
Abstract: 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.
Philosophy of mathematics (00A30) Subsystems of classical logic (including intuitionistic logic) (03B20) Heyting algebras (lattice-theoretic aspects) (06D20)
This page was built for publication: Carnap's problem for intuitionistic propositional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6406468)
