{
  "id": "1102.0240",
  "version": "v3",
  "published": "2011-02-01T18:19:49.000Z",
  "updated": "2013-10-28T20:02:40.000Z",
  "title": "Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics",
  "authors": [
    "Robert Rothenberg"
  ],
  "comment": "19 pages, 5 figures, 1 table, longer versions of proofs from conference paper and journal submission",
  "categories": [
    "math.LO",
    "cs.LO"
  ],
  "abstract": "We give a procedure for translating geometric Kripke frame axioms into structural hypersequent rules for the corresponding intermediate logics in Int^*/Geo that admit weakening, contraction and in some cases, cut. We give a procedure for translating labelled sequents in the corresponding logic to hypersequents that share the same linear models (which correspond to G\\\"odel-Dummett logic). We prove that labelled proofs Int^*/Geo can be translated into hypersequent proofs that may use the linearity rule, which corresponds to the well-known communication rule for G\\\"odel-Dummett logic.",
  "revisions": [
    {
      "version": "v3",
      "updated": "2013-10-28T20:02:40.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03F03",
      "F.4.1"
    ],
    "keywords": [
      "geometric kripke semantics",
      "intermediate logics",
      "translating labels",
      "correspond",
      "translating geometric kripke frame axioms"
    ],
    "tags": [
      "conference paper"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 19,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2011arXiv1102.0240R"
    }
  }
}