{
  "id": "2207.14705",
  "version": "v1",
  "published": "2022-07-29T14:25:16.000Z",
  "updated": "2022-07-29T14:25:16.000Z",
  "title": "Carnap's problem for intuitionistic propositional logic",
  "authors": [
    "Haotian Tong",
    "Dag Westerståhl"
  ],
  "comment": "Keywords: intuitionistic logic, Carnap's problem, nuclear semantics, algebraic semantics, logical constants, consequence relations, categoricity",
  "categories": [
    "math.LO"
  ],
  "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.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2022-07-29T14:25:16.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "00A30",
      "03B20",
      "06D20"
    ],
    "keywords": [
      "intuitionistic propositional logic",
      "carnaps problem",
      "worlds style semantics",
      "intuitionistic consequence relation",
      "categoricity"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}