{
  "id": "1811.08187",
  "version": "v2",
  "published": "2018-11-20T11:30:00.000Z",
  "updated": "2020-11-04T09:01:22.000Z",
  "title": "Three Topics in Non-decomposability of Generalized Multiplicative Connectives",
  "authors": [
    "Yuki Nishimuta"
  ],
  "comment": "8 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "Danos and Regnier introduced generalized (non-binary) multiplicative connectives in (Danes and Regnier, 1989). They showed that there exist the generalized multiplicative connectives which cannot be defined by any combinations of the tensor and par rules in the multiplicative fragment of linear logic. These connectives are called non-decomposable generalized multiplicative connectives (ibid, p.192). In this short note, we investigate the notion of Danes and Regnier's non-decomposability and give three results concerning (non-)decomposability of generalized multiplicative connectives.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2020-11-04T09:01:22.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "par rules",
      "short note",
      "linear logic",
      "regniers non-decomposability",
      "non-decomposable generalized multiplicative connectives"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 8,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}