线性逻辑

✍ dations ◷ 2025-12-06 06:13:05 #线性逻辑

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

相关

立克次氏体等立克次体（学名：Rickettsia），或者称立克次氏体，是一类细菌，但许多特征和病毒一样，如不能在培养基上培养，可以通过瓷滤器过滤，只能在动物细胞内寄生繁殖等。直径只有0.3-1μm，小于绝大
甲砜霉素甲砜霉素，又名硫霉素、甲砜氯霉素或赛芬妥霉素，是一种酰胺醇类抗生素。它是氯霉素的甲基磺醘基相似体，有着相似的反应，强度却小2.5－5倍。与氯霉素相似，甲砜霉素不溶于水，但却极易溶
大肠埃希氏杆菌大肠杆菌（学名：Escherichia coli，通常简写：E. coli）是人和动物肠道中著名的一种细菌，主要寄生于大肠内，约占肠道菌中的0.1%。大肠杆菌是一种两端钝圆、能运动、无芽孢的革兰氏阴性
表观因素表观遗传学（英语：epigenetics）又译为表征遗传学、拟遗传学、表遗传学、外遗传学以及后遗传学，在生物学和特定的遗传学领域，其研究的是在不改变DNA序列的前提下，通过某些机制引起可
乳癌乳腺癌是由乳房组织发展成的癌症。乳腺癌的征象包括乳房肿块、乳房形状改变、皮肤凹陷、乳头分泌物或是皮肤出现红色鳞屑状斑块。而出现远端转移的病患，可能会有骨痛（英语：Bone
本土外小岛屿美国本土外小岛屿（英语：United States Minor Outlying Islands），国际标准化组织的ISO 3166-1国际标准、中华人民共和国国家标准GB/T 2659、《中华民国国家标准》CNS 12842所定义
物理学原子核物理学（简称核物理学，核物理或核子物理）是研究原子核成分和相互作用的物理学领域。它主要有三大领域：研究各类亚原子粒子与它们之间的关系、分类与分析原子核的结构并带动
胎盘早期剥离胎盘早期剥离（Placental abruption）是指胎盘提早和子宫分离，也就是在分娩前就和子宫分离。胎盘早期剥离最常出现在怀孕25周时。症状包括阴道出血、下腹痛，以及足以造成休克的低
必需脂肪酸必需脂肪酸（英语：Essential fatty acid；缩写EFA）是指人体内（或其他高等动物）不能自行合成、但又必须从食物中获得的脂肪酸。只有两种脂肪酸是是人体必需的：亚油酸（一种ω-6双不饱和
头臂动脉干头臂动脉干（英语：Brachiocephalic trunk），又称无名动脉（英语：innominate artery）为主动脉弓的第一条分支，主要供应头部右侧、右颈，及右臂的血流。头臂动脉干位于纵膈腔内，在其自主动脉