首页 >
线性逻辑
✍ dations ◷ 2025-04-04 06:56:29 #线性逻辑
在数理逻辑中,线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑,那里统治判断是“真理”,它可以按需要被自由的使用多次。例如,从命题A和A ⇒ B能按如下步骤得出结果A ∧ B:这经常被符号化表示为相继式:A, A ⇒ B
⊢
{displaystyle vdash }
B。在上述证明中"消费"了A为真的事实;这种真理的"自由"通常是在形式化数学中所需要的。但是,真理经常在应用于关于这个世界的陈述的时候太抽象或不实用。比如,假设我有一夸脱的牛奶,我能用它制作一磅奶酪。如果我决定把我的所有牛奶都制成奶酪,我就不能下结论说我有牛奶和奶酪二者! 上面的逻辑模式让我们得到结论:牛奶, 牛奶⇒奶酪
⊢
{displaystyle vdash }
牛奶∧奶酪(这里的牛奶表示命题"我有一夸脱牛奶",等等)。普通逻辑建模这个活动失败是由于牛奶、奶酪一般是资源:资源的数量不像真理是可以随意使用和支配的自由事实,而是必须在所有"状态变更"中仔细计量的。关于牛奶制奶酪活动的准确陈述是:在线性逻辑中我们写为:牛奶, 牛奶奶酪
⊩
{displaystyle Vdash }
奶酪,使用了不同的连结词(替代了⇒)和不同的逻辑蕴涵符号。线性逻辑由法国数学家Jean-Yves Girard在1987年提出。
相关
- 磷3s2 3p32, 8, 5蒸气压((白磷))第一:1011.8 kJ·mol−1 第二:1907 kJ·mol−1 第三:2914.1 kJ·mol−1 (主条目:磷的同位素磷(拉丁语:Phosphorum,化学符号:P)是一种化学元素,它的原子
- 鼻咽癌鼻咽癌(NPC, Nasopharyngeal Carcinoma)是一种发生于鼻咽腔或上咽喉部的癌症。在世界的某些地区,例如东南亚和非洲,患此病的人比其他地方多,过去认为是主要是膳食的影响,目前倾向
- 厄他培南厄他培南(英语:Ertapenem)是一种碳青霉烯类抗生素,由默沙东以怡万之为商品名销售。结构上,厄他培南与美罗培南非常相似,前者有一个1-β-甲基。羧基青霉素:羧苄西林(卡茚西林) · 替
- 众议院多数党(232)少数党(199)空缺(4)美利坚合众国众议院(英语:United States House of Representatives)为美国国会两院之一,另一院为参议院(上议院)。众议院是美国的下议院,美国各州在众议院
- CXCL121A15, 1QG7, 1SDF, 1VMC, 2J7Z, 2K01, 2K03, 2K04, 2K05, 2KEC, 2KED, 2KEE, 2KOL, 2NWG, 2SDF, 3GV3, 3HP3· chemokine activity · growth factor activity· extracell
- 人因工程学人体工学(又称人类工效学、人机工程学、人因工程学、人因学)是一门重要的工程技术学科,为管理科学中工业工程专业的一个分支,是研究人和机器、环境的相互作用及其合理结合,使设计
- 抗精神病药抗精神病药(英语:antipsychotic),是抗精神失常药的一种。可在不影响意识清醒的条件下,控制兴奋、躁动、幻觉及妄想等症状。因常主要用于精神分裂症,故也称精神分裂症药。抗精神病
- 阴茎包埋隐匿型阴茎一种病态阴茎。多见于肥胖体形的儿童,其特点为包茎,阴茎周围皮下脂肪很厚,阴茎皮肤发育不良,阴茎海绵体及尿道海绵体发育欠佳,阴茎体不能进入到阴茎皮肤及包皮腔内。因
- 光光通常指的是人类眼睛可以见的电磁波(可见光),视知觉就是对于可见光的知觉。可见光只是电磁波谱上的某一段频谱,一般是定义为波长介于400至700奈(纳)米(nm)之间的电磁波,也就是波长比
- 颗粒物悬浮颗粒或称颗粒物(particulate matter (PM))、大气颗粒物(atmospheric particulate matter)、颗粒(particulates),泛指悬浮在空气中的固体颗粒或液滴,颗粒微小甚至肉眼难以辨识但