线性逻辑

✍ dations ◷ 2025-09-13 06:27:57 #线性逻辑

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

相关

独立战争十三殖民地（1776年之前）美利坚（1776年之后）法兰西西班牙佛蒙特支援：大不列颠大不列颠属美洲汉诺威盟友:德意志雇佣兵（黑森佣兵）: 黑森-卡塞尔黑森-哈瑙（英语：Hesse-Hana
中心静脉压中心静脉压（CVP）（英语：central venous pressure）指的是右心房和胸腔内大静脉的血压。正常值为4~12cmH2O。中心静脉压的大小取决于心脏射血能力和静脉回心血量之间的相互关系。若
马来西亚空气污染马来西亚空气污染主要是马来西亚历年受到印尼农民烧芭（火耕）所导致的烟雾污染事件。马来西亚最早的烟雾灾难可追溯至1961年。1961年10月19日，一架从英国伦敦飞抵吉隆坡的航班，准
苏格兰– 欧洲（绿色及深灰色）– 英国（绿色）苏格兰（英语、低地苏格兰语：Scotland，/ˈskɒt.lənd/；苏格兰盖尔语：Alba）是英国下属的构成国之一，位于大不列颠岛北部，英格兰之北，被大西洋环绕包
爱奥尼亚海伊奥尼亚海（希腊语：Ιόνιο Πέλαγος, 希腊语发音：, 意大利语：Mar Ionio, 意大利语发音：, 阿尔巴尼亚语：Deti Jon, 阿尔巴尼亚语发音：.mw-parser-output .IPA{font-family
封建制封建是源自于中国古代天子依爵位高低将领土分封与宗室或功臣作为食邑的制度。在下，大地主或领主能强行索取土地收入，并且能在其领地上行使政府职权。而在现代的汉语使用上，“封
持续性正压呼吸器持续性正压呼吸器、持续性阳压呼吸器（英语：Continuous positive airway pressure，简称：CPAP）是一种在呼吸道施加压力（英语：positive airway pressure）的人工呼吸器（英语：Mechanical ve
唯名论唯名论（英语：Nominalism），形而上学的观点之一，根源于古希腊柏拉图学派，经中古欧洲经院哲学家发展，长时间成为哲学探讨的主题。在哲学中，它是一种形而上学的争论，它讨论的是关于事物的
心理表征心智表征，又称为认知表征，在心灵哲学、认知心理学、神经科学以及认知科学等领域中，指的是一种假设性的内在认知符号，能够表示外在现实；或是指一种利用某种符号的心理过程，这种符号
独体独体为一种汉字字体的结构，与合体概念相对。指汉字结构中，仅含有一个单独形体、不可分析为两个或两个以上形体的字。其形体结构完整，难以拆解分析其读音或字义。这包含着六书中