亚结构逻辑

✍ dations ◷ 2025-10-17 13:35:44 #亚结构逻辑

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

相关

急性支气管炎支气管炎又分作急性支气管炎与慢性支气管炎，是肺部中型支气管的炎症。急性支气管炎通常是由病毒或细菌感染引起。可以持续数天或数周。急性支气管炎是肺部支气管（中至大的大小
二次内共生共生体学说（英语：Symbiogenesis），又称内共生学说（英语：endosymbiotic theory），是关于真核生物细胞中的一些自主细胞器ㄧ线粒体和叶绿体起源的学说。根据这个学说，它们起源于共生于真
金属金属是一种具有光泽（对可见光强烈反射）、富有延展性、容易导电、传热等性质的物质。金属的上述特质都跟金属晶体内含有自由电子有关。由于金属的电子倾向脱离，因此具有良好的导
生化武器生化武器（Biochemical Weapon）包括生物武器和化学武器两种，是指以细菌、病毒、毒素等使人、动物、植物致病或死亡的物质材料制成的武器，它们都属于大规模杀伤性武器。生物武器过
卫生信息技术卫生信息技术（英语：Health information technology, HIT）是指“卫生信息处理的应用，包括那些为通讯交流和决策制定而对医疗保健信息、数据和知识进行存储、获取、共享和使用时所
作品作品，亦称创作、创意成品、著作，是具有创作性，并且可以通过某种形式复制的成品。著作权法保障了这些创造性活动的表现形式。作品的创作者就是作者。作品的形式有很多种，不同的作
果胶果胶（英语：pectin），是一类天然高分子化合物，它主要存在于所有的高等植物中，是植物细胞间质的重要成分。果胶沉积于初生细胞壁和细胞间层，在初生壁中与不同含量的纤维素、半纤维素、
国家产业复兴法《全国工业复兴法》（英语：National Industrial Recovery Act of 1933, NIRA，又译为全国产业复兴法）是美国国会于1933年制订的劳工法案和消费者保护法案，授权总统富兰克林·罗斯福
舌岩舌岩，中医外科（疡科）病名，是发生于舌部的癌症，又称舌菌、舌疳，相当于现代医学的舌癌。中医视本病为难治之症，若延及项颌，肿如结核，称为瘰疬风（又称失荣）。
纤维胶人造纤维，又称化学纤维，简称化纤，指各式各样的化学合成纤维，属于塑料。包括但不限于聚酯、尼龙、Spandex等。以物理力量把化学物质迫过小孔，形成极幼的纤维条。人造纤维是经过化