线性逻辑

✍ dations ◷ 2025-12-03 07:09:00 #线性逻辑

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

相关

词库词库（英语：lexicon）是指一个人、一门语言或一门专业知识（如导航、医学等）所用到的词汇。在语言学中，词库的概念专指该语言词位的清单。语言学的有关理论认为，人类的语言由两部分组
基因组学基因组学（英语：Genomics），或基因体学，是研究生物基因组和如何利用基因的一门学科。该学科提供基因组信息以及相关数据系统利用，试图解决生物，医学，和工业领域的重大问题。基因组学能
力在物理学中，力是任何导致自由物体历经速度、方向或外型的变化的影响。力也可以借由直觉的概念来描述，例如推力或拉力，这可以导致一个有质量的物体改变速度（包括从静止状态开始运
死刑犯死刑犯（英语：Death row，或称死囚、死刑囚犯）常指被司法宣判为死刑，而尚未被处决的犯人。他们被监禁在监狱中（中国大陆、台湾及日本的死刑犯则是囚禁在看守所内），等待死刑的执行。但
维管束维管束是指维管植物（包括蕨类植物、裸子植物和被子植物）的维管组织，由木质部和韧皮部成束状排列形成的结构。维管束多存在于茎（草本植物和木本植物幼体）、叶（叶中的维管束又称为叶
双态性真菌双态性真菌可存在霉菌/菌丝/丝状形式或酵母形式的真菌。一个例子就是马尔尼菲青霉菌:，在室温下，它作为一个霉菌生长，在体温下，它作为一个酵母生长。一些物种是人类和其他动物重
国际经济学国际经济学，是经济学的一门分支学科，主要探讨在跨国的经济活动中，生产与消费的循环过程。此学科以宏观的角度，则是着重于各国之间的贸易、投资与移民议题分析。其分支研究为国际
催化剂催化剂又称触媒，是能透过提供另一活化能较低的反应途径而加快化学反应速率，而本身的质量、组成和化学性质在参加化学反应前后保持不变的物质。例如二氧化锰可以作为过氧化氢（双
氯化物氯化物在无机化学领域里是指带负电的氯离子和其它元素带正电的阳离子结合而形成的盐类化合物。最常见的氯化物比如氯化钠（俗称食盐）。常见的氯化物列在右表。但有时金属（如金）溶
埃塞俄比亚界埃塞俄比亚界是一个面积达到2.21 亿km²的动物地理分区，涵盖撒哈拉以南的非洲。马达加斯加和邻近海岛形成很特别的区域，内有许多地方性罗汗松，譬如狐猴。马达加斯加和塞舌尔群