线性逻辑

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

相关

  • 细胞学细胞生物学(英语:cell biology)旧称细胞学(cytology),是研究细胞的形态结构、生理机能、细胞周期、细胞分裂、细胞自噬、细胞凋亡, 以及各种胞器及讯息传递路径的学科。研究范围专
  • 氨基酸氨基酸是生物学上重要的有机化合物,由氨基(-NH2)和羧基(-COOH)的官能团,以及连到每一个氨基酸的侧链组成。氨基酸是构成蛋白质的基本单位,赋予蛋白质特定的分子结构形态,使其分子具
  • 痰液痰是指肺及支气管等鼻腔以下的呼吸管道的粘膜所产生的分泌物,用来将包含尘埃、病毒、过敏原等异物排出体外的黏液,也可能是因上呼吸道感染,而经由咳嗽及咳痰所吐出来的黏液。感
  • 体适能体适能(英语:Physical Fitness),为身体适应外界环境之能力,可视为身体适应生活、运动与环境 (例如,温度、气候变化或病毒等因素)的综合能力。它包含了两个面向,一般素质(身体健康的状
  • 疝(Hernia),俗称疝气,其最初的意义是“腹痛”,但后世多特指“少腹坠痛”的狐疝,相当于现代医学的“腹股沟疝”。医学上的疝气指的是器官,例如肠子,经由腔室的孔道离开原先的位置。有
  • 塞黑解体 · 内战塞尔维亚和黑山国家联盟,通称塞尔维亚和黑山,简称塞黑,为前南斯拉夫余下没有独立的塞尔维亚和黑山两个共和国于2003年至2006年组成的松散联邦制国家。塞黑两国于1
  • 论文论文是科学或者社会研究工作者在学术书籍或学术期刊上刊登的,用来进行科学研究和描述或呈现自己研究成果的文章。论文往往强调原创性的工作总结,但当然也可以是对前人工作总结
  • 幻听幻听(英语:Auditory Hallucination),是一种幻觉,患者会认为他们听到声音,但声音并不是真的存在。在医学上,它被称为Paracusia(该词来自希腊语: παρακοή,意思是:听觉的不服从)。
  • 大腿大腿,是腿部的上半部分,是骨盆和膝盖之间的部分,以膝盖连接小腿。大腿的骨骼称为股骨,股骨较粗,因为密质骨比例较高,其强度也较大。在髋部有杵臼关节,膝盖部分则是枢纽关节。
  • 西加鱼毒雪卡毒素(英语:Ciguatoxins,简称CTX),又名雪卡鱼毒素、西加鱼毒素,是一类引起西加鱼毒中毒的毒素,共有4种。食物中这类毒素无法被烹饪去除,因此最好不要吃珊瑚礁鱼类的头部、皮肤及