首页 >
线性逻辑
✍ dations ◷ 2025-12-01 22:34:27 #线性逻辑
在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题A和A ⇒ B能按如下步骤得出结果A ∧ B:这经常被符号化表示为相继式：A, A ⇒ B
⊢
{displaystyle vdash }
B。在上述证明中"消费"了A为真的事实；这种真理的"自由"通常是在形式化数学中所需要的。但是，真理经常在应用于关于这个世界的陈述的时候太抽象或不实用。比如，假设我有一夸脱的牛奶，我能用它制作一磅奶酪。如果我决定把我的所有牛奶都制成奶酪，我就不能下结论说我有牛奶和奶酪二者! 上面的逻辑模式让我们得到结论：牛奶, 牛奶⇒奶酪
⊢
{displaystyle vdash }
牛奶∧奶酪（这里的牛奶表示命题"我有一夸脱牛奶"，等等）。普通逻辑建模这个活动失败是由于牛奶、奶酪一般是资源：资源的数量不像真理是可以随意使用和支配的自由事实，而是必须在所有"状态变更"中仔细计量的。关于牛奶制奶酪活动的准确陈述是：在线性逻辑中我们写为：牛奶, 牛奶奶酪
⊩
{displaystyle Vdash }
奶酪，使用了不同的连结词（替代了⇒）和不同的逻辑蕴涵符号。线性逻辑由法国数学家Jean-Yves Girard在1987年提出。
相关
- 支气管扩张支气管扩张（英语：Bronchiectasis）指的是肺脏中支气管永久性的扩张。患者的常见症状包括有痰的慢性咳嗽，其他还有呼吸困难、咳血与胸痛等，有些患者同时也有喘鸣与杵状指（英语：nail c
- 细胞学细胞生物学（英语：cell biology）旧称细胞学（cytology），是研究细胞的形态结构、生理机能、细胞周期、细胞分裂、细胞自噬、细胞凋亡, 以及各种胞器及讯息传递路径的学科。研究范围专
- 家畜家畜一般是指由人类饲养驯化，且可以人为控制其繁殖的动物，一般用于食用、劳役、毛皮、宠物、实验等功能。另一种较狭义的家畜，是指相对于鸟类动物的家禽而言的哺乳类动物，亦即将
- 聚合酶聚合酶 （英语：polymeraseis）是一类将小分子核苷酸聚合成大分子核酸聚合物的酶（EC编号2.7.7.6/7/19/48/49），通过与模板连进行碱基配对来实现复制，根据产物分子是DNA还是RNA可分为DNA
- T淋巴细胞T细胞（英语：T cell、T lymphocyte）是淋巴细胞的一种，在免疫反应中扮演着重要的角色。T是胸腺（thymus）而不是甲状腺（thyroid）的英文缩写。T细胞在骨髓被制造出来之后，在胸腺内进行“新
- 葡萄糖酸葡萄糖酸（化学式：C6H12O7），是葡萄糖的醛基经氧化生成的糖酸，D-葡萄糖酸学名“(2R,3S,4R,5R)-2,3,4,5,6-五羟基己酸”。天然存在于水果、蜂蜜、红酒和红茶菌中。D-葡萄糖被溴水（次
- 闭锁不全二尖瓣闭锁不全（Mitral insufficiency，或mitral regurgitation，简称MR或MI），是描述心脏二尖瓣在心室收缩期间无法完全闭合的现象。此疾病会导致左心室的血液经二尖瓣逆流（英语：Regu
- 维A酸维A酸(Tretinoin、ATRA)，又称全反式维甲酸及视黄酸，分子式：C20H28O2，分子量300.44，CAS号302-79-4，熔点180℃。医学导航: 皮肤附件解剖/生理/发育病理/先天/肿瘤, 症状/齐名手术,
- 颌颚（英语：Jaw），在解剖学中，指在嘴部入口处相对的铰接式结构，最常见的用途是用来进食与咀嚼食物。在大多数的动物身上，都拥有这个解剖结构。在人体解剖学中，又称颌，指嘴部的上下骨骼与
- 元音词干元音词干(thematic vowel、theme vowel)，在印欧语言学中，是结束于元音的名词或动词词干，这个元音出现于或在其他方面影响名词或动词的变形范例。这个元音和动词或名词都称为 th
