线性逻辑

✍ dations ◷ 2025-11-04 22:54:53 #线性逻辑

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

相关

病理学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学病理学（pathology）是医学领域的一门分支
高级心脏生命支持高级生命支持，亦为高级心肺复苏、ACLS，是指一系列的临床介入(clinical intervention)，作为以下情况的应急处置:心跳停止、休克，以及其他医学上危及生命的紧急情况；亦指施行此临床
秋季秋季是一年四季之中的第三季。秋季的时候，自然景观最明显的变化在树木上面，城市里会开始清扫大量的落叶，山区则涌进不少观赏红叶的游客们。秋季是四季中的一季，在夏季与冬季之间
J01EA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
图瓦卢面积以下资讯是以2018年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计立国历史图瓦卢（英语：Tuvalu）是一个由九个环
古马其顿古马其顿语（希腊语：Αρχαία μακεδονική γλώσσα）是古马其顿的语言，在公元前1000年的马其顿王国被使用，属于印欧语系。古马其顿语在公元前4世纪逐渐被希腊化
上消化道消化系统（英语：digestive system）是多细胞生物用以进食、消化食物、获取能量和营养、排遗剩余废物的一组器官，其主要功能为摄食、消化、吸收、同化和排遗。其中有关排遗的部分，也
泪器泪器是副眼器的一种，由泪腺和泪道组成。泪器的功能是产生并运输眼泪。泪道是泪器的一部分，包括泪点、泪小管、泪囊和鼻泪管。泪小管属于泪道，是泪器的一部分，是连接泪点与泪囊的
克罗地亚语克罗地亚语（Hrvatski）是塞尔维亚-克罗地亚语的一种标准化形式，由克罗地亚族使用，是克罗地亚的官方语言，波黑和伏伊伏丁那的官方语言之一。在南斯拉夫社会主义联邦共和国时期，与塞
主线在字体排版学中，主线（英语：Mean Line，也称英语：Waist Line）指的是决定无升部的小写字母字体大小的一条线，其与基线的距离称为x字高。有些圆弧的字母在某些字体中会些微超过主线的范