亚结构逻辑

✍ dations ◷ 2025-11-26 23:16:31 #亚结构逻辑

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

相关

软壁菌门柔膜细菌目（英语：Mollicutes）软壁菌门（Tenericutes），又译作无壁菌门，是细菌界下的一个门。该门下有一个纲，即柔膜细菌纲（英语：Mollicutes）（Mollicutes）。该门命名于1984年。该门下的典型
鸟嘌呤鸟嘌呤（英语：Guanine，又称鸟粪嘌呤，简写为G）是五种不同碱基中的其中之一，并同时存在于脱氧核糖核酸（DNA）及核糖核酸（RNA）中。鸟嘌呤是嘌呤的一种，并与胞嘧啶（cytosine）以三个氢键相连。鸟
痢疾痢疾，是一种传染病。依传染性的致病生物体不同而分为细菌性痢疾、阿米巴痢疾。元朝皇帝元顺帝便是死于痢疾。细菌性痢疾，简称菌痢，是由于痢疾杆菌所引起的一种假膜性肠炎（纤维
高基氏体高尔基体（英语：Golgi apparatus）是真核细胞中的一种细胞器。属于细胞的一组膜，专门收集并包裹各种物质，例如酶和激素。这些膜形成像一堆平板的扁囊，部分扁囊常常脱离并移向质膜，一
核衣壳衣壳是病毒的蛋白质外壳，又称为壳体。衣壳是由病毒衣壳蛋白亚基所形成的寡聚体。衣壳的作用是用于包裹病毒的遗传物质（核酸）。衣壳的类型大致是按它们的形态来分类的。不同的病
免疫治疗免疫治疗（英语：Immunotherapy），是指通过诱导、增强或抑制免疫反应的疾病治疗方法。其中旨在引起或增强免疫反应的免疫疗法，称为激活免疫疗法（activation immunotherapies），而减少或
闪锌矿闪锌矿(英语：Sphalerite)是种由锌和铁结合的硫化物。晶形常为四面体状。纯闪锌矿近于无色，但随着成分中铁含量的增加由浅黄、黄褐、棕甚至黑色，因此难鉴定。具有完全的菱形十二
帕斯卡的赌注帕斯卡的赌注（英语：Pascal's Wager）是基督教辨惑学的哲学一部分，由17世纪的法国哲学家布莱兹·帕斯卡提出。帕斯卡假定所有人类对上帝存在或不存在下注。由于上帝可能确实存在，并
月刊杂志是一种定期发行的连续出版物，介于书籍和报纸之间，其中包含各种文章内容。大多数的杂志的收入来源都是广告和读者的购买。此外期刊杂志都具有一个固定的名称，并且用卷、期或
声调声调（英语：Tone）的完整意义是一种附着于音节的高低抑扬（音调，或称音高）。语言学家赵元任从音阶获得灵感，设计了五度调值标记法，以数字1表示最低音，到数字5表示最高音。赵氏五度标记法