线性逻辑

✍ dations ◷ 2025-12-02 10:56:51 #线性逻辑

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

相关

肝病毒科正肝去氧核糖核酸病毒属 Orthohepadnavirus 鸟类肝去氧核糖核酸病毒属 Avihepadnavirus肝病毒科（hepadnaviridae）又译肝去氧核糖核酸病毒科，DNA逆转录病毒的一类，主要感染对象为
三尖瓣三尖瓣，又称右房室瓣，是在哺乳动物心脏的右后侧，在右心房和右心室之间的瓣膜。其作用是阻止血液回流至右心房。
嘌呤类似物嘌呤类似物（英语：Purine analogues）是一类与嘌呤结构相似的抗代谢物。主要的嘌呤类似物包括硫唑嘌呤、巯基嘌呤与硫鸟嘌呤等。嘌呤巯基嘌呤硫鸟嘌呤氟达拉滨卤化/核糖核苷酸还
身高身高，又称身长，是指一个人从头顶到脚底的身体长度。成年人的身高有一个标准范围，并且在同民族同性别内部遵循正态分布。身高的标准范围可以用正态分布中的标准差（σ）定义的z-scor
尘埃尘埃可以指：
食品安全食品安全是一门跨学科领域，专门探讨在食品加工、存储及销售等步骤中，各方能如何保障食品卫生与食用安全、降低疾病隐患及防范食物中毒。探讨者透过科学方法对于可能造成消费者
磺胺二甲嘧啶磺胺二甲嘧啶是一种磺胺类药物，其INN名称是“Sulfamethazine”。该药物可用于治疗支气管炎、前列腺炎，以及泌尿道感染等病症。该药物在血液中的半衰期暂时未知，在大鼠体内的LD5
周围神经系统周围神经系统（英语：Peripheral Nervous System，缩写为PNS），又称外周神经系统、周边神经系统、边缘神经系统或末稍神经系统，是神经系统的组成部分，包括除脑和脊髓之外的神经部分。脑
上肢手臂指人的上肢，肩膀以下、手腕以上的部位。上肢（前肢）是一个人体部位，常指人的手臂（包括手掌）。在人体解剖学上，上肢是由以下几个部位组成的：以及由臂神经丛所联系的肌肉与组织。
暑期工暑期工，Summer job，是一种夏天时期出现的短期工作，其人力资源是放暑假的学生。因为暑期工的因素，常令相关工种的人才市场在暑假时期，出现“供过于求”；又在开学前夕，出现“求过于供