线性逻辑

✍ dations ◷ 2025-12-04 18:30:59 #线性逻辑

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

相关

中暑中暑（英语：Heat stroke）是一种受室外空气的高温多湿或阳光过久直接照射动物体、人体等造成体温异常升高不降所引起的症状的通称。从病情的差异大致上可分为以下四类：
肠杆菌目肠杆菌目（学名：Enterobacterales）是变形菌门γ-变形菌纲下的一个目，下属的种都是革兰氏阴性菌。2016年以前肠杆菌目下只有一个科，即肠杆菌科。2016年，Adeolu M基于全基因组系统发
消毒剂消毒（Disinfection）是利用化学品或其他方法消灭大部分微生物，使常见的致病细菌数目减少到安全的水平。然而，与杀菌（Sterilization）相比，部分细菌孢子、滤过性病毒、结核杆菌及真菌
抗银屑病药干癣（英语：psoriasis，/soʊˈraɪ.əsᵻs/，学名为银屑病，又称“白疕”或“牛皮癣”）是一种慢性皮肤疾病，主要特色是在身上出现一块一块异常的皮肤。通常，这些块状皮肤异常会发红、发
器官系统生物系统（Biological system），又称身体系统（Body system）、器官系统（Organ system），是生物的其中一个组成部分，是由许多不同的器官共同组合而成，执行某种特定的生理作用。人体的系统是
CXCL71F9P, 1NAP, 1TVX· chemokine activity· extracellular space· blood coagulation · glucose transport · platelet activation · neutrophil chemotaxis · defe
糊精糊精（dextrin、pyrodextrin）是淀粉的不完全水解产物，有固定的分子通式，但是碳链长短不一定相同。一般工业上是由马铃薯淀粉的酸水解制得。糊精在肠道内有利于嗜酸杆菌生长，能减
禁欲禁欲是一种生活型态，其特征通常是对若干俗世欢愉的禁绝，以达至宗教上及灵性上的目标。基督宗教（特别是修道运动）及印度宗教（包括瑜伽）的教导，涉及到“意志—身体”转化的过程，此过程
中国工程院中国工程院院徽中国科学院中国社会科学院中国工程院，简称工程院、中工院，是中华人民共和国工程科学技术界的最高荣誉性、咨询性学术机构，为正部级国务院直属事业单位。中国工
求职求职，指一个人寻求工作和职位。找工作的人称为求职方，提供工作的机构称为招聘方。求职是绝大多数人一生中都会遇到和面对的重要事情。从招聘单位的角度看，求职者一般分为两类：应