线性逻辑

✍ dations ◷ 2025-12-02 17:23:04 #线性逻辑

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

相关

出血出血是指血液从血管或心脏外出至组织间隙、体腔或身体表面。根据出血原因可分为两种：心脏或血管壁破裂的出血称为破裂性出血；毛细血管和细静脉壁通透性增高的出血称为漏出性出
咳嗽咳嗽是一种呼吸道常见的突发性症状，咳嗽由气管、支气管粘膜或胸膜受炎症、异物、物理或化学性刺激引起，咳嗽时先是声门关闭，呼吸肌收缩，肺内压升高，然后声门张开，肺内空气喷射而出
海底海底生物界是与水域基底相连的生活区域，可分为滨海海底生物界（光线可透射的，夏季温暖的水域底层）和深海海底生物界（暗的，冷的水域底层）。在海底生物界栖息的生物被称为海底生物。
神经冲动动作电位（英文：action potential），指的是静止膜电位状态的细胞膜受到适当刺激而产生的，短暂而有特殊波形的跨膜电位搏动。细胞产生动作电位的能力被称为兴奋性，有这种能力的细胞如
样品样品或样本，可以指：
阿尔文·普兰丁格阿尔文·卡尔·普兰丁格（英语：Alvin Carl Plantinga，1932年11月15日－），美国当代著名的基督教哲学家，现任圣母大学John A.O'Brien讲席教授。他的研究领域包括基督教神学、认识论和形
圣依西多禄圣依西多禄（西班牙语：San Isidro 或 San Isidoro de Sevilla，拉丁语：Isidorus Hispalensis，560年－636年）是西班牙6世纪末7世纪初的教会圣人，神学家。依西多禄生于西班牙地中海沿岸城
玻璃体玻璃体又称玻璃状液、神膏（英文 Vitreous humor），是眼球内无色透明的胶状物质，表面覆盖着玻璃体膜。玻璃体填充于晶状体与视网膜之间，约占眼球内腔的4/5。玻璃体对视网膜起支撑作
次氯酸水, 次氯酸钙次氯酸钙是钙的次氯酸盐，化学式为Ca(ClO)2，是漂白粉的主要成分之一，有杀菌性及氧化性。与其性质类似的还有氯气及次氯酸钠，但是它们都不如次氯酸钙的稳定性高。漂白粉的组分包含
楔形文字幼发拉底河 · 底格里斯河乌鲁克 · 乌尔 · 埃利都启什 · 拉格什 · 尼普尔阿卡德帝国 · 库提乌尔第三王朝 · 伊辛第一王朝 · 拉尔萨 · 伊辛第二王朝古巴比