线性逻辑

✍ dations ◷ 2025-12-05 00:55:11 #线性逻辑

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

相关

关节痛关节痛（英语：Arthralgia，源自希腊文 arthro- 即关节 + -algos 即痛）字面上的意义就是“关节”“疼痛”。具体而言，创伤、感染、疾病（特别是关节炎）、药物过敏等原因都可能出现关节
共济失调毛细血管扩张症共济失调微血管扩张症候群是一种小脑运动失调疾病，常于3-6岁发病，并会有免疫不全、微血管扩张，以及容易发生癌症，对辐射的抗性亦有所下降。其发生率为1/40000至100000。遗传方面
头孢他美(英文:Cefetamet)头孢他美也称为“头孢米特”，是一种第三代头孢菌素。该抗生素以7-ADCA为原料合成，常以盐酸头孢他美酯（安塞他美）的形式生产。头孢他美对革兰氏阳性菌及革兰氏阴
GFAJ-1GFAJ-1是一种杆状盐单胞菌科（Halomonadaceae）嗜极细菌。该细菌能在缺乏磷元素的环境中吸收通常被认为有剧毒的砷元素进入细胞内，并利该元素合成类似ATP、磷脂等有机化合物或对
扫描电镜扫描电子显微镜（英语：Scanning Electron Microscope，缩写为SEM），简称扫描电镜，是一种电子显微镜，其通过用聚焦电子束扫描样品的表面来产生样品表面的图像。电子与样品中的原子相互
经验经验（英语：Experience）在一般概念包括了知识、技巧。是体验或观察某一事或某一事件后所获得的心得并应用于后续作业。而这些以前获取的知识技巧，对于工作或教授学问上，掌握相当重
感质在哲学中，感质（英语：Qualia，/ˈkwɑːliə/或/ˈkweɪliə/；单数形式: Quale）的定义是主观意识经验的独立存在性和唯一性。Qualia这个词源自拉丁语中的形容词quālis'（拉丁语发音：.m
卡巴拉卡巴拉（Kabbalah；he：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
肉瘤肉瘤（英语：sarcoma；希腊语：σάρκωμα，sárkomma，源于sárka，意为肉、软组织，词尾~om指肿瘤）是一种恶性肿瘤，组织来源为支持组织—间胚叶组织（准确一点，来自中胚层）。与上皮组织恶性
千代田区千代田区（日语：千代田区／ちよだく Chiyoda ku */?）是日本东京都的特别区之一，位于东京都区部的中心位置，在1947年（昭和22年）3月15日由麹町区与神田区（日语：神田区）合并而来，名称来自于