线性逻辑

✍ dations ◷ 2025-10-09 08:34:19 #线性逻辑

在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题A和A ⇒ B能按如下步骤得出结果A ∧ B:这经常被符号化表示为相继式：A, A ⇒ B ⊢ {displaystyle vdash } B。在上述证明中"消费"了A为真的事实；这种真理的"自由"通常是在形式化数学中所需要的。但是，真理经常在应用于关于这个世界的陈述的时候太抽象或不实用。比如，假设我有一夸脱的牛奶，我能用它制作一磅奶酪。如果我决定把我的所有牛奶都制成奶酪，我就不能下结论说我有牛奶和奶酪二者! 上面的逻辑模式让我们得到结论：牛奶, 牛奶⇒奶酪 ⊢ {displaystyle vdash } 牛奶∧奶酪（这里的牛奶表示命题"我有一夸脱牛奶"，等等）。普通逻辑建模这个活动失败是由于牛奶、奶酪一般是资源：资源的数量不像真理是可以随意使用和支配的自由事实，而是必须在所有"状态变更"中仔细计量的。关于牛奶制奶酪活动的准确陈述是：在线性逻辑中我们写为：牛奶, 牛奶奶酪 ⊩ {displaystyle Vdash } 奶酪，使用了不同的连结词（替代了⇒）和不同的逻辑蕴涵符号。线性逻辑由法国数学家Jean-Yves Girard在1987年提出。

相关

纵隔疾病纵膈（mediastinum）是描述胸腔中心为疏松结缔组织所包围的构造，并无一个明显的界限。本区域包含许多解剖构造，包含心脏及其周围血管系统、食道、气管、膈神经（英语：phrenic nerve）、
水水部，为汉字索引中的部首之一，康熙字典214个部首中的第八十五个（四划的则为第二十五个）。就繁体和简体中文中，水部归于四划部首。水部通常是从上、下、左方均可为部字。当上、下
氮循环氮循环(英语：Nitrogen cycle)是描述自然界中氮单质和含氮化合物之间相互转换过程的生态系统的物质循环。空气中含有大约78%的氮气，占有绝大部分的氮元素。氮是许多生物过程的
阿米巴症阿米巴症（英语：Amoebiasis或英语：amoebic dysentery），系指任何内阿米巴属变形体所引起的感染，阿米巴症患者既可能毫无症状，也可能症状轻微，也可能有严重症状，常见的症状为溶组织内阿
Appel, Jacob M.雅各布·阿佩尔（英语：Jacob M. Appel，1973年2月21日－）是一位美国作家、生物伦理学家、医生、律师和社会评论家。生于布朗克斯，并且在斯卡斯代尔成长。阿佩尔最为人所知的是他的短
路易吉·伽伐尼路易吉·阿洛伊西奥·伽伐尼（意大利文：Luigi Aloisio Galvani, 拉丁文：Aloysius Galvani）1737年9月9日－1798年12月4日）是意大利医生、物理学家与哲学家，现代产科学的先驱者。他在意
磺胺多辛磺胺多辛是一种磺胺类药物，其INN名称是“Sulfadoxine”。该药物可用于治疗疟疾等病症。该药物在血液中的半衰期暂时未知，在大鼠体内的LD50（半致死量）为1.8756mol/kg。该药物目前
表雄酮表雄酮（英语：Epiandrosterone）或称为异雄酮（英语：isoandrosterone）是一种甾体激素，拥有较弱的雄激素活性，是睾酮和双氢睾酮（DHT）的代谢产物，在1931年由阿道夫·布特南特和库尔特·切尔
巴鲁赫·斯宾诺莎斯宾诺莎（拉迪诺语：Baruch de Spinoza，拉丁语：Benedictus de Spinoza，1632年11月24日－1677年2月21日），西方近代哲学史重要的理性主义者，与笛卡尔和莱布尼茨齐名。斯宾诺莎的祖先是居
华中科技大学武汉中心医院武汉市中心医院，是中华人民共和国一家综合性三级甲等医院，始建于1880年，其前身为汉口天主堂医院。主院区南京路院区位于湖北省武汉市江岸区，另外在江汉区设有后湖院区，以及谌家矶