亚结构逻辑

✍ dations ◷ 2025-11-28 08:27:08 #亚结构逻辑

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

相关

平滑肌平滑肌，是非横纹肌的肌肉组织。在人体，平滑肌分布在动脉和静脉血管管壁、膀胱、子宫、男性和女性生殖道、消化道、呼吸道、眼睛的睫状肌（英语：Ciliary muscle）和虹膜。平滑肌与骨
消毒消毒（Disinfection）是利用化学品或其他方法消灭大部分微生物，使常见的致病细菌数目减少到安全的水平。然而，与杀菌（Sterilization）相比，部分细菌孢子、滤过性病毒、结核杆菌及真菌
北美北美地区（英语：Northern America；西班牙语：Norteamérica；法语：L'Amerique septentrionale）为地缘政治地理学的概念，指的是美洲的北部地区，以文化区分法又称盎格鲁美洲，属于北美洲大陆
单克隆单株抗体（英语：monoclonal antibody，缩写：mAb)，简称单抗，是仅由一种类型的免疫细胞制造出来的抗体，相对于多克隆抗体（由多种类型的B细胞所制造出来的一种抗体）。单克隆抗体由可以制造
核事故依照国际原子能机构（IAEA）的标准，核事故是指对人、环境或设备造成严重后果的事件。核事故导致的后果有致死的影响、对自然环境造成的大量辐射泄漏、炉心熔毁等。“重大核事故”
磺胺对甲氧嘧啶磺胺对甲氧嘧啶是一种长效磺胺类抗菌药物，其INN名称是“Sulfametoxydiazine”。该药物可用于治疗泌尿道感染与麻风病等病症。该药物在血液中的半衰期尚不明确。医学导航：病菌
肽键肽键（英语：Peptide bond，“肽”，拼音：tài）是一分子氨基酸的α－羧基( − COOH {
置信区间在统计学中，一个概率样本的置信区间（英语：Confidence interval，CI），是对产生这个样本的总体的参数分布（Parametric Distribution）中的某一个未知参数值，以区间形式给出的估计。相对于
真核细胞真核生物（学名：Eukaryota）是其细胞具有细胞核的单细胞生物和多细胞生物的总称，它包括所有动物、植物、真菌和其他具有由膜包裹着的复杂亚细胞结构的生物，而不包括细菌和古菌，因它
汞中毒汞中毒（英语：Mercury poisoning ），又称为水银中毒，系指因暴露汞（水银）而导致的一种金属中毒（英语：metal poisoning）。症状依类型、剂量、方法及暴露时间长短而有所不同，可能的症状有肌