亚结构逻辑

✍ dations ◷ 2025-12-11 08:23:04 #亚结构逻辑

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

相关

致敏原过敏原（英语：allergen，又称为变应原、过敏物、致敏原、致敏物）是指能引起过敏的物质。严格地说，过敏原是一种能促进在特应性个体发生I型超敏反应的非寄生抗原。尘螨的排泄物、花
性偏离性偏离（英语：paraphilia），或称性变态（英语：sexual perversion）、性偏见（英语：sexual deviation）、性心理失控（英语：psychosexual disorder）和性反常等，是对非典型对象、恋物、情境、幻想、
LDsub50/sub半数致死量（英语：Median Lethal Dose），简称LD50（即Lethal Dose, 50%），在毒理学中是描述有毒物质或辐射的毒性的常用指标。按照医学主题词表（MeSH）的定义，LD50是指“能杀死一半试验总体
核聚变核聚变，又称核融合、融合反应或聚变反应，是指将两个较轻的核结合而形成一个较重的核和一个极轻的核（或粒子）的一种核反应形式。在此过程中，物质没有守恒，因为有一部分正在聚变的原
核安全核安全包括为了防止核辐射事故以及限制发生事故以后的后果的措施。需要采取核安全措施的设施包括核能发电厂和其它的核设施、以及医用、发电用、工业用和军用的核物质的运输
法兰克－史达林机制Frank–Starling机制（英语：Frank–Starling mechanisms），是心脏的一种代偿机制。指的是心脏的每搏输出量在所有其他因素保持不变的情况下，会随着心脏前负荷（心肌在收缩前所承受的
阿利库迪岛阿利库迪岛是意大利的火山岛，位于西西里岛以北的提雷尼亚海，属于埃奥利群岛的一部分，长2.9公里、宽2.3公里，面积5.2平方公里，最高点海拔高度675米，2001年人口105。
无宇宙论无宇宙论(英语：Acosmism)与泛神论相反，否认宇宙的实在，认为它最终只是错觉，只有无限未显（英语：unmanifest）的“绝对”是真实的。东、西方哲学中都能够找到无宇宙论的概念。“摩耶
小指小指，又称小拇指、尾指，是五指里的最后一只手指，长度与拇指相若，但粗细则是五指中最细的一只，有三个关节。在很多国家，“勾小指”有二人互相承诺、约定的意思。
叙词表索引典（英语：thesaurus），也称为叙词表或类语辞典，同义词辞典，是主题分析的一种实作方法。所谓主题分析是指辨识某作品之知识内涵，分析其特性，并使用某些文字、代号描述其主题。主题