首页 >
线性逻辑
✍ dations ◷ 2025-12-08 22:19:43 #线性逻辑
在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题A和A ⇒ B能按如下步骤得出结果A ∧ B:这经常被符号化表示为相继式：A, A ⇒ B
⊢
{displaystyle vdash }
B。在上述证明中"消费"了A为真的事实；这种真理的"自由"通常是在形式化数学中所需要的。但是，真理经常在应用于关于这个世界的陈述的时候太抽象或不实用。比如，假设我有一夸脱的牛奶，我能用它制作一磅奶酪。如果我决定把我的所有牛奶都制成奶酪，我就不能下结论说我有牛奶和奶酪二者! 上面的逻辑模式让我们得到结论：牛奶, 牛奶⇒奶酪
⊢
{displaystyle vdash }
牛奶∧奶酪（这里的牛奶表示命题"我有一夸脱牛奶"，等等）。普通逻辑建模这个活动失败是由于牛奶、奶酪一般是资源：资源的数量不像真理是可以随意使用和支配的自由事实，而是必须在所有"状态变更"中仔细计量的。关于牛奶制奶酪活动的准确陈述是：在线性逻辑中我们写为：牛奶, 牛奶奶酪
⊩
{displaystyle Vdash }
奶酪，使用了不同的连结词（替代了⇒）和不同的逻辑蕴涵符号。线性逻辑由法国数学家Jean-Yves Girard在1987年提出。
相关
- 细胞嗜性向性(Tropism)是一种生物学现象，指生物（多数为植物）受环境因素刺激而向某特定方向生长的现象。向性有正向性（朝向刺激而生长）和负向性（反向刺激而生长）的分别。
- 胞吞内吞作用（Endocytosis）是大分子物质（如糖类、脂质、蛋白质等）或其他细胞（如细菌）进入细胞内部的方式。它区别于小分子物质(如水、无机盐、氨基酸等)进入细胞的方式(自由扩散或主动
- 组胺组胺（英语：Histamine），是一种有机含氮的环状化合物。它参与局部免疫反应和炎症反应，并具有作为瘙痒介体中心与调节肠道生理功能的作用。它还被用作神经递质。组胺由嗜碱性球和附
- 糖肽类抗生素糖肽类抗生素（glycopeptide antibiotic）是指一类化学本质为有糖基修饰的多肽链的抗生素。组成糖肽类抗生素的多肽可能是环形或线性，由属于非核糖体合成肽。糖肽类抗生素的达到
- 鼻腔鼻腔，呼吸道最前部由骨和软骨围成的空腔，为呼吸系统的起始部。以鼻中隔分为左右两半，前端经鼻孔与外界相通，后端经鼻后孔与咽腔相连。
- IgE免疫球蛋白E（英语：Immunoglobulin E，简称IgE）是一类只发现于哺乳动物内的抗体，是正常人血清中含量最小的免疫球蛋白。免疫球蛋白E由黏膜下淋巴组织中的效应B细胞合成，IgE的单体由
- 膀胱输尿管返流膀胱输尿管返流(Vesicoureteral Reflux、VUR)是尿从膀胱到输尿管或肾的异常地反向性地流动。尿液的正常运行是从肾脏进经由输尿管到膀胱。出生前胎儿的膀胱输尿管反流的症状
- 新冠肺炎新型冠状病毒肺炎（英语：Novel coronavirus pneumonia），简称新冠肺炎，即由新型冠状病毒所引起的肺炎。可以指：
- 妊娠试验妊娠试验是一种测试女性是否已经受孕的试验。最早的妊娠试验是针对早孕因子（英语：GroES）（简称EPF）进行玫瑰花结抑制分析（rosette inhibition assay）。早孕因子可以在受精后48小时从
- 唇嘴唇是在人类及许多动物的脸上一个明显易见的器官，由上下两唇构成。两唇皆为凸出而柔软、并能由内部肌肉牵引而自由移动。唇是一个触觉器官，主要功能为帮助进食以及准确闭合发
