线性逻辑

✍ dations ◷ 2024-12-22 16:19:23 #线性逻辑

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

相关

石川啄木石川啄木（1886年2月20日－1912年4月13日），日本明治时代诗人、小说家与评论家，本名为石川一，别号白萍。石川啄木出生于日本岩手县南岩手郡日户村（现盛冈市日户），出身贫苦；曾任小学教师、
酿酒酿酒，是指应用酒精发酵等的手段生产含有酒精饮料的过程。根据原料和加工方式的不同，酿酒使用的微生物以及酿酒的过程各异。酿酒是世界上最古老的食品加工方式之一，发酵也是人类
经典条件反射经典条件反射（英语：classical conditioning，又称巴甫洛夫条件反射、反应条件反射、alpha条件反射），是一种关联性学习。伊万·彼得罗维奇·巴甫洛夫将这种产生条件反射行为的学习
免疫球蛋白E免疫球蛋白E（英语：Immunoglobulin E，简称IgE）是一类只发现于哺乳动物内的抗体，是正常人血清中含量最小的免疫球蛋白。免疫球蛋白E由黏膜下淋巴组织中的效应B细胞合成，IgE的单体由
马斯河谷事件马斯河谷事件（也称马斯河谷烟雾事件或1930年马斯河谷烟雾事件），是指1930年12月1日—12月5日发生在比利时马斯河谷工业区的大气污染事件。马斯河谷地区大量工业排放的二氧化硫、
同一性在逻辑中，同一（identity）关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词"="，使得对于所有x和y，"x = y"为真，当且仅当x和y是同一个事物。同一是传递
图林根图林根自由州（德语：Freistaat Thüringen）是德国十六个联邦州之一，面积16,200平方千米，在联州中列第十一位；人口245万，列第十二位。首府为爱尔福特。图林根绿色植被覆盖良好，加之位
榆树榆树，是榆科下榆属植物的统称，主要在北半球的温带地区生长。一般高约25米，树皮粗糙。具高度实用、药用及食用价值。榆树的叶呈椭圆形或椭圆状波针形，叶长2-8厘米、宽1.5-2.5厘米
脂肪酸脂肪酸（英语：Fatty acid）是一类羧酸化合物，由碳氢组成的烃类基团连结羧酸所构成。三个长链脂肪酸与甘油形成三酸甘油酯（Triacylglycerols），为脂肪的主要成分，归于脂类。饱和脂肪酸（Sa
嗜睡嗜睡症（hypersomnia）是一种会睡眠过度的疾病，主要有两种类型：原发性嗜睡症和反复性嗜睡症。两者的症状相同，但发生频率不同。患有嗜睡症的人会反复发生过度日间嗜睡（英语：Excessive