{
  "id": "1610.09117",
  "version": "v1",
  "published": "2016-10-28T08:25:10.000Z",
  "updated": "2016-10-28T08:25:10.000Z",
  "title": "Cover Systems for the Modalities of Linear Logic",
  "authors": [
    "Robert Goldblatt"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "Ono's modal FL-algebras are models of an extension of Full Lambek logic that has the modalities ! and ? of linear logic. Here we define a notion of modal FL-cover system that combines aspects of Beth-Kripke-Joyal semantics with Girard's interpretation of the ! modality, and has structured subsets that interpret propositions. We show that any modal FL-algebra can be represented as an algebra of propositions of some modal FL-cover system.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2016-10-28T08:25:10.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03B47",
      "03B45",
      "03G10"
    ],
    "keywords": [
      "linear logic",
      "cover systems",
      "modal fl-cover system",
      "full lambek logic",
      "onos modal fl-algebras"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}