"linear logic" meaning in English

{
  "forms": [
    {
      "form": "linear logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "linear logic (plural linear logics)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "2009 February 3, John C. Baez with Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title or journal name), page 39",
          "text": "Gentzen also wrote down inference rules suitable for the intuitionistic propositional and predicate calculi. These rules lack the mirror symmetry of the classical case. But in the 1980s, this symmetry was restored by Girard’s invention of ‘linear logic’ [43].",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both \"additive\" and \"multiplicative\" versions of the typical binary connectives and truth constants; and which has a pair of modal, \"exponential\" operators for resource management, to help make up for the loss of the two structural rules."
      ],
      "hypernyms": [
        {
          "word": "substructural logic"
        }
      ],
      "id": "en-linear_logic-en-noun--J2qpc79",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "sequent",
          "sequent"
        ],
        [
          "modal",
          "modal"
        ]
      ],
      "raw_glosses": [
        "(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both \"additive\" and \"multiplicative\" versions of the typical binary connectives and truth constants; and which has a pair of modal, \"exponential\" operators for resource management, to help make up for the loss of the two structural rules."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "sense": "Translations",
          "word": "線性邏輯"
        },
        {
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "roman": "xiànxìng luójí",
          "sense": "Translations",
          "word": "线性逻辑"
        },
        {
          "code": "cs",
          "lang": "Czech",
          "sense": "Translations",
          "word": "lineární logika"
        },
        {
          "code": "fr",
          "lang": "French",
          "sense": "Translations",
          "word": "logique linéaire"
        },
        {
          "alt": "せんけいろんり",
          "code": "ja",
          "lang": "Japanese",
          "roman": "senkeironri",
          "sense": "Translations",
          "word": "線形論理"
        },
        {
          "code": "pt",
          "lang": "Portuguese",
          "sense": "Translations",
          "word": "lógica linear"
        }
      ],
      "wikipedia": [
        "linear logic"
      ]
    }
  ],
  "word": "linear logic"
}

{
  "forms": [
    {
      "form": "linear logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "linear logic (plural linear logics)",
      "name": "en-noun"
    }
  ],
  "hypernyms": [
    {
      "word": "substructural logic"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with quotations",
        "Translation table header lacks gloss",
        "en:Logic"
      ],
      "examples": [
        {
          "ref": "2009 February 3, John C. Baez with Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title or journal name), page 39",
          "text": "Gentzen also wrote down inference rules suitable for the intuitionistic propositional and predicate calculi. These rules lack the mirror symmetry of the classical case. But in the 1980s, this symmetry was restored by Girard’s invention of ‘linear logic’ [43].",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both \"additive\" and \"multiplicative\" versions of the typical binary connectives and truth constants; and which has a pair of modal, \"exponential\" operators for resource management, to help make up for the loss of the two structural rules."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "sequent",
          "sequent"
        ],
        [
          "modal",
          "modal"
        ]
      ],
      "raw_glosses": [
        "(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both \"additive\" and \"multiplicative\" versions of the typical binary connectives and truth constants; and which has a pair of modal, \"exponential\" operators for resource management, to help make up for the loss of the two structural rules."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "linear logic"
      ]
    }
  ],
  "translations": [
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "sense": "Translations",
      "word": "線性邏輯"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "roman": "xiànxìng luójí",
      "sense": "Translations",
      "word": "线性逻辑"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "Translations",
      "word": "lineární logika"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "Translations",
      "word": "logique linéaire"
    },
    {
      "alt": "せんけいろんり",
      "code": "ja",
      "lang": "Japanese",
      "roman": "senkeironri",
      "sense": "Translations",
      "word": "線形論理"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "Translations",
      "word": "lógica linear"
    }
  ],
  "word": "linear logic"
}