亚结构逻辑

✍ dations ◷ 2025-11-18 18:18:45 #亚结构逻辑

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

相关

冠状动脉搭桥手术冠状动脉旁路移植（英语：Coronary artery bypass graft，常缩写为CABG）或心脏绕道手术，俗称冠脉搭桥或搭桥，即冠状动脉旁路移植术，是一项缓解心绞痛和减少冠心病死亡风险的手术。搭桥
ICD-9编码列表 (E和V代码)Template:Animal bites and stings Template:Drug reactions
宇宙宇宙是所有时间、空间与其包含的内容物所构成的统一体；它包含了行星、恒星、星系、星系际空间、次原子粒子以及所有的物质与能量，宇指空间，宙指时间。目前人类可观测到的宇宙，其
激动剂激动剂（或称：刺激剂/促进剂/激活剂）（英语：agonist）是与受体结合并使之激活，产生生理反应的化合物。激动剂按来源分为内源激动剂和外源（英语：exogenous）激动剂，按效能分为完全激动剂、超
敲除基因敲除（英语：gene knock-out，缩写为KO）是一种遗传工程技术。是指利用外源的已突变的基因通过同源重组的方法替换掉内源的正常同源基因，从而使内源基因失活而表现突变体的性状的
下颚颔（又称下巴、下颔、下巴颏），是位于脊椎动物包括人类面部嘴唇以下的部位，人到年老时下巴会逐渐萎缩，这是老化现象的一个过程。
高分子电解质聚电解质(polyelectrolyte)是带有可电离基团的长链高分子，这类高分子在极性溶剂中会发生电离，使高分子链上带上电荷。链上带正或负电荷的聚电解质分别叫做聚阳离子或聚阴离子
新盘古大陆新盘古大陆（Novopangea，Novo-是来自拉丁语的字首，代表“新”的意思）是一个未来可能出现的超大陆，由现在任职于剑桥大学的罗伊·利弗莫尔（Roy Livermore）于1990年代晚期提出。他的假
磺胺甲氧哒嗪磺胺甲氧哒嗪是一种磺胺类药物，其INN名称是“Sulfamethoxypyridazine”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期尚不明确。该药物是哒嗪的一
斯拉夫语族斯拉夫语族是印欧语系的一个语族，产生于斯拉夫民族。可分为东斯拉夫语支、南斯拉夫语支及西斯拉夫语支，东斯拉夫语支及南斯拉夫语支使用西里尔字母，但也有例外，塞尔维亚语和克罗