首页 >
线性逻辑
✍ dations ◷ 2025-11-26 00:23:20 #线性逻辑
在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题A和A ⇒ B能按如下步骤得出结果A ∧ B:这经常被符号化表示为相继式：A, A ⇒ B
⊢
{displaystyle vdash }
B。在上述证明中"消费"了A为真的事实；这种真理的"自由"通常是在形式化数学中所需要的。但是，真理经常在应用于关于这个世界的陈述的时候太抽象或不实用。比如，假设我有一夸脱的牛奶，我能用它制作一磅奶酪。如果我决定把我的所有牛奶都制成奶酪，我就不能下结论说我有牛奶和奶酪二者! 上面的逻辑模式让我们得到结论：牛奶, 牛奶⇒奶酪
⊢
{displaystyle vdash }
牛奶∧奶酪（这里的牛奶表示命题"我有一夸脱牛奶"，等等）。普通逻辑建模这个活动失败是由于牛奶、奶酪一般是资源：资源的数量不像真理是可以随意使用和支配的自由事实，而是必须在所有"状态变更"中仔细计量的。关于牛奶制奶酪活动的准确陈述是：在线性逻辑中我们写为：牛奶, 牛奶奶酪
⊩
{displaystyle Vdash }
奶酪，使用了不同的连结词（替代了⇒）和不同的逻辑蕴涵符号。线性逻辑由法国数学家Jean-Yves Girard在1987年提出。
相关
- 氧气治疗的百科知识|氧气治疗的意思解释|氧气治疗是什么意思氧疗（Oxygen therapy）是用供应氧气作为医学治疗的方式，，可以治疗缺氧、一氧化碳中毒、丛集性头痛，也可以在全身麻醉时维持病患体内的氧气。氧疗也会用于治一些长期氧气不足的患者
- 乔治亚州ä½æ²»äºšå·ï¼ˆè‹±è¯ï¼šState of Georgia），是ç¾å›½ä¸œå—方的一个å·ï¼Œé‚®æ”¿ç®€å†™æ˜
- 胸锁乳突肌胸锁乳突肌（Sternocleidomastoid）是两块位于颈部，使头部前推或转动的肌肉。每块胸锁乳突肌从胸骨延伸到颈两侧耳朵下面的一点，还连接到锁骨和头骨的颞骨上。当这两块肌肉同时收
- 肝豆状核变性肝豆状核变性（英语：hepatolenticular degeneration），亦称威尔森氏症（英语：Wilson's Disease），是一种遗传性疾病，患者的体内会积聚铜。典型的症状都跟脑部和肝脏有关，肝脏相关症状有呕
- 氟化钠氟化钠（英语：sodium fluoride）是一种离子化合物，室温下为无色晶体或白色固体，化学式为NaF。氟离子的用途不少，而此化合物便是氟离子的主要来源。比起氟化钾，它不但相对便宜，也较少发
- Mucous membrane黏膜是生物体（口腔、器官、胃、肠、尿道等器官里面）中由上皮组织和结缔组织构成的膜状结构。其结缔组织部分被称为固有层，其上皮组织部分被称为上皮，内有血管和神经，能分泌黏液。
- 构效关系构效关系指的是药物或其他生理活性物质的化学结构与其生理活性之间的关系，是药物化学的主要研究内容之一。狭义的构效关系研究的对象是药物，广义的构效关系研究的对象则是一切
- 固态瘤新生物、息肉、瘜肉或赘生物（英语：neoplasm），是指身体细胞组织不正常的增生，当生长的数量庞大，便会成为肿瘤（英语：tumor）。而肿瘤亦可以是良性或恶性的。肿瘤（英语：tumor）在医学上是指细
- 阿拉吉欧症候群阿拉吉欧症候群是一种体染色体基因异常的疾病，其会导致胆汁郁积、先天性心脏血管疾病、骨骼结构异常、眼球角膜异常以及特殊的外观长相。此病通常借由肝脏内胆管的数目来判定
- 印尼语印度尼西亚语（印尼语：Bahasa Indonesia），简称印尼语，即印尼化的马来语廖内方言，是印度尼西亚的官方语言。属马来-波利尼西亚语族。全世界大约有4280万人使用这种语言，还有1.55亿人
