亚结构逻辑

✍ dations ◷ 2025-12-09 16:01:01 #亚结构逻辑

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

相关

咯血咳血又称为咯血，是一种症状，指肺或气管中的出血，经由咳嗽而吐出。多半是因为所吐出的痰中带有血丝而被发现。最常见的原因就是支气管炎、肺炎、肺肿瘤、肺结核等疾病。或是使用
梅毒梅毒是一种细菌型的性感染疾病，病原体是螺旋菌菌种梅毒螺旋体（英语：Treponema pallidum）的一种亚种（Treponema pallidum pallidum）。其病原体最早是由德国的埃里克·霍夫曼（英语：Eri
重症重症医学（Intensive care medicine ）是医学中的一个分支，诊断及管理会危及生命的疾病或是情形，会需要器官支持（英语：Organ support）及侵入性监测设备。在重症监护室中常见的设备有
胸部在解剖学上，胸部在许多动物身体的其中一部分。人科动物（包括人类）的胸部位于颈部和腹部之间，由肋骨、脊椎和肩带骨骼所支撑。胸部同时有乳房部分，女性的乳房作哺乳之用，因此胸部也
癫痫发作癫痫发作（epileptic seizure 或epileptic fit，有时在文献或新闻只简单称为 seizure 或fit）是因为脑中的过度的神经振荡而出现的医学病征。这种脑内异常的外溢效应（outward eff
抽动障碍抽动障碍（英文：Tics、Tic Disorder），为一种精神疾病。其被DSM定义为一类机动的或发声的行为障碍，包括各类抽动（突然的、急促的、不规律的、刻板的、无意识的运动）。其定义与ICD-10
甘油醛甘油醛（glyceraldehyde (glyceral)）是一个丙糖，化学式为C3H6O3，是最简单的醛糖。它是有甜味的无色晶体，作为糖类代谢的中间产物，同时也在D-/L-标记中作为标准物。甘油醛与二羟基丙
静脉曲张静脉曲张（英语：Varicose veins）是不正常扩张的静脉。它的英文是源自拉丁文varix。静脉曲张的类型包括：患有下肢静脉曲张者的小腿静脉会明显凸出，甚至出现不雅观的膨胀和扭曲。静
胸管插入胸腔闭式引流术，又称“胸廓造口术、胸腔管手术”，是一种较为简单的外科手术。一般用于治疗各种胸腔积水、胸腔积液（英语：pleural effusion）和气胸等。过程是先进行局部麻醉后，在肋
石绵石棉，又称石绵，是天然的纤维晶体状的6大硅酸盐类矿物质的总称；（Asbestos，5.5FeO,1.5MgO,8SiO2,H2O）成分中含有一定数量的水；分裂成絮时呈白色；丝绢光滑，富有弹性。最常见的有3种：温石