首页 >
线性逻辑
✍ dations ◷ 2025-06-06 06:24:34 #线性逻辑
在数理逻辑中,线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑,那里统治判断是“真理”,它可以按需要被自由的使用多次。例如,从命题A和A ⇒ B能按如下步骤得出结果A ∧ B:这经常被符号化表示为相继式:A, A ⇒ B
⊢
{displaystyle vdash }
B。在上述证明中"消费"了A为真的事实;这种真理的"自由"通常是在形式化数学中所需要的。但是,真理经常在应用于关于这个世界的陈述的时候太抽象或不实用。比如,假设我有一夸脱的牛奶,我能用它制作一磅奶酪。如果我决定把我的所有牛奶都制成奶酪,我就不能下结论说我有牛奶和奶酪二者! 上面的逻辑模式让我们得到结论:牛奶, 牛奶⇒奶酪
⊢
{displaystyle vdash }
牛奶∧奶酪(这里的牛奶表示命题"我有一夸脱牛奶",等等)。普通逻辑建模这个活动失败是由于牛奶、奶酪一般是资源:资源的数量不像真理是可以随意使用和支配的自由事实,而是必须在所有"状态变更"中仔细计量的。关于牛奶制奶酪活动的准确陈述是:在线性逻辑中我们写为:牛奶, 牛奶奶酪
⊩
{displaystyle Vdash }
奶酪,使用了不同的连结词(替代了⇒)和不同的逻辑蕴涵符号。线性逻辑由法国数学家Jean-Yves Girard在1987年提出。
相关
- 急性支气管炎支气管炎又分作急性支气管炎与慢性支气管炎,是肺部中型支气管的炎症。急性支气管炎通常是由病毒或细菌感染引起。可以持续数天或数周。急性支气管炎是肺部支气管(中至大的大小
- 基因重排基因重复或称复制基因(英语:Gene duplication (or chromosomal duplication or gene amplification))是指含有基因的DNA片段发生重复,可能因同源重组作用出错而发生,或是因为反转
- 同种型免疫球蛋白的同种型是指免疫球蛋白类型或亚型的重链遗传变化或差异。人类有九种同种型:免疫球蛋白类型转换可以改变重链的类型,但不会改变轻链。表位(线性、构象)抗体(单株抗体、
- 50S亚基50核糖体亚基是原核细胞内70S核糖体中的较大亚基。该亚基由一条5S rRNA、一条23S rRNA及约34个核糖体蛋白质分子构成,在原核翻译中负责在tRNA转运来的氨基酸分子之间形成肽键
- 神经冲动动作电位(英文:action potential),指的是静止膜电位状态的细胞膜受到适当刺激而产生的,短暂而有特殊波形的跨膜电位搏动。细胞产生动作电位的能力被称为兴奋性,有这种能力的细胞如
- 现实现实(拉丁语:Realitas)在日常应用时意味着“客观存在的事物”或“合于客观情况的条件”。现实是所有实际事物或是存在事物的总和,和全然想像虚构的事物相反。现实一词也常用来表
- 瓦维尔山瓦维尔山(波兰语:Wawel,或 Wzgórze wawelskie)是波兰城市克拉科夫中位于维斯瓦河左岸的一座石灰岩小山,紧邻克拉科夫旧城区,海拔228米。自旧石器时代起,山上就有人类居住。山上坐
- C-Mycn/an/an/an/an/an/an/an/an/an/aC-Myc或Myc是编码转录因子的调节基因。这一基因编码的蛋白在细胞核内被磷酸化,有多种功能:在细胞周期进程、细胞凋亡和细胞转化中发挥作用。My
- 牙牙部,为汉字索引中的部首之一,康熙字典214个部首中的第九十二个(四划的则为第三十二个)。就繁体和简体中文中,牙部归于四划部首。牙部通常是从下方均可为部字。且无其他部首可用
- 电吉他电吉他是一种广泛运用于多种音乐风格中的电声拨弦乐器。电吉他通过电磁学原理发声,它通过拾音器将琴弦上的机械振动转化为电信号。这些电信号经过放大与处理后,通过音箱转换成