亚结构逻辑

✍ dations ◷ 2025-02-23 19:38:07 #亚结构逻辑

在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基于相继式（sequent）表达，而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。在相继式演算中，你可以把证明的每一行写为这里的结构规则是重写相继式左手端的Γ的规则，Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式：我们希望把相继式符号读做这里我们把右手端的Σ采纳为一个单一的命题C（这是直觉主义风格的相继式）;但是所有的东西都同样的适用于一般情况，因为所有的操作都发生在十字转门（turnstile）符号的左边。因为合取是交换性和结合性的操作，相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如演绎自还有对应于合取特性的幂等性和单调性的进一步的结构规则：从我们可以演绎出还有从我们可以演绎出，对于任何B，在线性逻辑中有重复的假设（hypothese）'被认为'不同于单一的出现，它排除了这两个规则。而相干逻辑只排除后者的规则，因为B明显的与结论无关。这些是结构规则的基本例子。在应用到常规命题演算的时候，这些规则是没有任何争议的。它们自然的出现于证明理论中，并在那里被首次注意到（在获得一个名字之前）。

相关

不孕不育不孕（英语：Infertility）又称不育，是指人类、动物或植物无法透过有性生殖繁衍后代的情形。对于大部分健康的成熟动植物个体而言，会在生命中的特定时期内有生育能力，不过真社会性物
四环素四环霉素（英语：Tetracycline，/ˌtɛtrəˈsaɪkliːn/，INN），又称四环素，一种聚酮类广谱抗生素药物的泛称，这类药物由链霉菌属放线菌门细菌所产生，基本化学结构均由四个环接合而成，可用
丛集性头痛丛集性头痛又称丛发性头痛 (英文：Cluster headache) ，是一种神经性疾病，常见症状为反复性的严重单侧头痛，常见在眼眶周围。通常会伴随着流眼泪、鼻塞、患侧眼眶红肿。一般而言
果糖果糖（C6H12O6，Jmol 立体图）是一种简单的糖（单糖），极易溶于水，在许多食品中存在，和葡萄糖、半乳糖一起构成了血糖的三种主要成分，可在如蜂蜜、树上的水果、浆果、瓜类以及一些根类蔬菜
恩前列素恩前列素是一种合成的类地诺前列酮前列腺素，它可以用来作胃部HCl分泌的强效抑制剂。因而常被用来作抗酸或溃疡药。它的药理作用基本与米索前列醇相同。医学导航：遗传代谢缺陷
烫伤灼伤是指皮肤或其他组织因热力、电力、化学物质、摩擦力或辐射所造成的创伤。大部分的灼伤是因接触滚烫液体、固体或火焰的高温。暴露在烹饪的火焰或不安全的煮食器具的危险
美尔奎宁美尔奎宁（Mefloquine），常见商品名疟宁（Lariam），为一种治疗及预防疟疾的药物。当用于预防时，需在暴露疟原虫前一至二周开始用药，每周一次。暴露后则须维持四周，每周一次。本品可用于治
醋酸乙酸，也叫醋酸，化学式CH3COOH，是一种有机一元酸和短链饱和脂肪酸，为食醋内酸味及刺激性气味的来源。纯正且近乎无水的乙酸(含水量1%以下)称为“冰醋酸”，为无色的吸湿性固体，凝固
腿人类腿部，或称人腿，一般指的是人体的整个下肢部分，包括足部、大腿甚至髋关节等。然而，人体解剖一般谈及“人腿”时，指的只是从膝盖到脚踝的这一段下肢，也称“小腿”。腿部在站立以
尖团合流尖团音是指存在于汉语中的两组对立的声母。在官话里、（漢語拼音：i, ü）前的声母、、（拼音：z, c, s）称为尖音，声母、、（拼音：j, q, x）称为团音。民国成立不久后于1913年建立的国语规范