线性逻辑

✍ dations ◷ 2025-12-03 01:00:53 #线性逻辑

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

相关

氮醉氮醉是在进行潜水或深潜运动时常用的名词。一般而言，水压会随着潜水深度而增加，当潜水员处于高水压环境（约3至4大气压力以上），肺内氮气会因高压缘故，而对潜水员产生麻醉作用。于浅
环丙沙星环丙沙星（Ciprofloxacin）是第二代氟喹诺酮类化合广效抗生素（英语：Broad-spectrum antibiotic），可对抗多种病原菌。治疗范围包含骨骼感染、关节感染、腹部感染，以及特定几种感染性肠
阴茎癌阴茎癌，正式名称为阴茎及其他男性生殖器官癌症，泛指阴茎区域出现的恶性肿瘤，出现区域包括阴茎、副睾、精索、输精管、阴囊、贮精囊及睾丸鞘膜。最常出现的癌症种类为原位鳞状细
生活品质马斯洛的需求金字塔上达到越高层的人可以视同生活质量越高自我实现的需求尊重需求（社会承认需求）社交需求（社会关系需求）安全的需求生理的需求（身体基本需求）生活质量（Quality of L
雪暴雪暴（英语：Blizzard），又称暴风雪、飞雪，-5℃以下大降水量天气的统称，且伴有强烈的冷空气气流。雪暴的形成类似于与暴风雨相似。在冬天，当云中的温度变得很低时，使云中的小水滴结冻。
平民保育团平民保育团（Civilian Conservation Corps，CCC）是美国在1933年至1942年间，对19至24岁的单身救济户失业男性推行的以工代赈计划，这些救济户都是在经济大萧条期间失业、难以找到工作
后期中世纪后期 (Late Middle Ages)，或称中世纪晚期、中世纪末期、中古后期、中古晚期、中古末期，是历史学者用来描述14世纪至15世纪（约1300年－1499年）欧洲历史的术语。中世纪晚期位
EBV人类疱疹病毒第四型（拉丁语：Epstein-Barr virus，缩写EBV、爱泼斯坦-巴尔病毒、 human herpesvirus 4 (HHV-4)），又称为EB病毒，是最常见能引起人类疾病的病毒之一。EBV是在公元1964
喉腔喉腔（laryngeal cavity、cavity of the larynx）从喉入口向下延伸到环状软骨下缘，与气管相续。喉腔经由声带的投射分为两部分，其间是一个狭窄的三角形开口，即声门裂（英语：rima glott
黑色黑色是具有多种不同文化意义的颜色。黑色可以定义为没有任何可见光进入视觉范围，和白色正相反，白色是所有可见光光谱内的光都同时进入视觉范围内。颜料如果吸收光谱内的所有可