线性逻辑

✍ dations ◷ 2025-12-07 04:49:13 #线性逻辑

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

相关

气单胞菌目气单胞菌科 Aeromonadaceae 琥珀酸弧菌科 Succinivibrionaceae气单胞菌目（Aeromonadales）为变形菌门的一目，有2科10属。该目内的物种均为厌氧、杆状。部分物种可透过单个鞭毛移
氧氟沙星氧氟沙星（氟嗪酸， Ofloxacin）是一种人工合成、广谱抗菌的氟喹诺酮类药物。氧氟沙星合成于1982年，口服易吸收，快而完全，血药浓度高而持久，药物体内分布广。此抗生素适合做为最后一线
汉滩江汉滩江（朝鲜语：한탄강／漢灘江 Hantangang */?）是韩国的一条河流，为北汉江的支流，流经江原道和京畿道。历史上是汉他病毒首次发现的地方。
芥末芥末酱，也称芥末、芥辣或芥辣酱，芥末酱为一种芥末色稠状物，具有强烈鲜明的味道，由芥菜类蔬菜的籽研磨掺水、醋或酒类调制而成，亦会添加香料或是其它添加剂藉以增香或是增色，如添加
氧四环素土霉素 Oxytetracycline也称为“地霉素”或“氧四环素”，是第二个被发现的广谱抗菌的四环素类抗生素。土霉素是由Finlay等人在辉瑞实验室附近分离到的链霉菌Streptomyces rim
丁香园丁香园（DXY），始建于2000年7月23日，创办者李天天，是一个医学知识分享网站。该网站曾于2014年9月2日获得腾讯公司7000万美元投资。2019年1月，丁香园指权健产品骨正基鞋垫价格是天价
唑类唑（Azole）在有机化合物的命名中指五元环骨架的两个或两个以上杂原子，其中至少一个是氮的杂环化合物。该名称源于Hantzsch-Widman杂环命名系统（英语：Hantzsch–Widman nomenclatur
沃夫-贺许宏氏症候群沃夫-贺许宏氏综合征（Wolf–Hirschhorn syndrome，简写WHS），是一种基与人类第4号染色体的遗传基因缺陷而引起的疾病。生长发育迟缓、心智障碍，还伴有癫痫症状。
毒物 (杂志)毒物（Toxins）是一本毒理学学术刊物，收录毒理学研究论文及所有有关对动物、植物、微生物有毒性的物质的研究。该刊已得到SCI收录，2016年影响因子为3.03，在中科院SCI分区中为毒理学
立陶宛立陶宛国家图书馆，正式称作马尔蒂纳斯·马日维达斯立陶宛国家图书馆（立陶宛语：Lietuvos nacionalinė Martyno Mažvydo biblioteka），位于立陶宛首都维尔纽斯，为一国家级文化机构，