线性逻辑

✍ dations ◷ 2025-12-06 21:43:09 #线性逻辑

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

相关

公共事业振兴署公共事业振兴署（英语：Works Progress Administration, WPA）（1935年－1943年），大萧条时期美国总统罗斯福实施新政时期建立的一个政府机构，以助解决当时大规模的失业问题，是新政时期（以及
迈蒙尼德迈蒙尼德为摩西·本·迈蒙（希伯来语：משה בן מימון；阿拉伯语：أبو عمران موسى بن ميمون بن عبد الله القرطبي الإسرائيل
种种（拉丁语：Species）或称物种，生物分类的基本单位，位于生物分类法中最后一级，在属之下。较为笼统的概念，是指一群或多或少与其它这样的群体形态相同，并能够交配繁殖出具生殖能力后代
脐带脐带（学名：Funiculus umbilicalis）是几乎所有哺乳动物（包括人）的母体内，胎儿与怀孕的母亲的胎盘的一种联系结构。脐带状如绳索，表面光滑透明，内含结缔组织和血管；在胎盘内胎儿的血液
膳食矿物质矿物质，又称为无机盐，除了碳、氢、氮和氧之外，也是生物必需的化学元素之一，也是构成人体组织、维持正常的生理功能和生化代谢等生命活动的主要元素，约占人体体重的4.4%。它们可以
死后抽搐死后抽搐（cadaveric spasm）亦称尸体痉挛，是指人或动物于死亡后，肌肉未经过松弛阶段就立即发生僵硬，其肢体仍然有的小许动作或者抽搐。这种现象可由肉眼观察到，一般死亡前有剧烈运
早发性射精早发性射精（英文：Premature ejaculation）俗称早泄，是指进行性行为时男性射精过早，医学上指是阴茎于插入阴道（阴道内射精延迟时间）或肛门一分半钟内射精。现在更多医生愿意从女性角
生物利用度生物利用度（英语：bioavailability (BA)），或称生体利用率或生体可用率，在药理学上是指所服用药物的剂量部分能到达体循环，是药物的一种药物动力学特性。按照定义，当药物以静脉注射时
详2019冠状病毒病英国疫情，介绍在2019新型冠状病毒疫情中，在英国及其属地发生的情况。2020年1月，希思罗机场加强了对每周从武汉接收的三班直达航班的监控；每一个人都将要接受海关
化学品化学物质，又称化学物种，是有着固定化学成分和特定性质的一类物质。它们不能通过物理手段分成更小的组分。化学物质可以是以元素形态组成的单质，也可以是化合物、离子或者合金。