亚结构逻辑

✍ dations ◷ 2025-11-19 18:21:41 #亚结构逻辑

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

相关

扁桃腺炎扁桃体炎（Tonsillitis），或称扁桃腺炎，通常会快速发病。扁桃体炎属于咽炎的一种。其症状包括咽喉痛、发烧、扁桃腺肿大、吞咽困难、颈部的淋巴结肿大（英语：Lymphadenopathy）。并发症
paracetamol7.21 g/kg (0 °C) 8.21 g/kg (5 °C) 9.44 g/kg (10 °C) 10.97 g/kg (15 °C) 12.78 g/kg (20 °C) ~14 mg/mL (20 °C)对乙酰氨基酚（英语：Acetaminophen），又称
组织胞浆菌病组织胞浆菌病 (学名: Histoplasmosis ) 是由真菌Ajellomyces capsulatus 引起的疾病。通常借由呼吸道造成免疫系统部正常之肺部疾病。对大多数人为轻微疾病，但也有些病例会
医学治疗治疗（英语：Therapy），指用于解决健康问题的手段，通常在医学诊断后实施。
Drugs.comDrugs.com 是美国一个提供药物（学）资讯给消费者和专业医护人员的线上药物百科。Drugs.com这个域名原本由柏尼·纽贝克在1994年注册。1999年，互联网正处于快速发展期，艾瑞克·麦
世界卫生组织基本药物清单世界卫生组织基本药物标准清单（法语：Listes modèles OMS des médicaments essentiels；英语：WHO Model List of Essential Medicines；简称EML）是世界卫生组织（WHO或称世卫组织）的出
集落刺激因子集落刺激因子（CSF）是一类分泌型的糖蛋白，其与造血干细胞表面上的受体蛋白结合，从而激活细胞内信号传导途径，其可导致细胞增殖并分化成特定类型的血细胞（通常是白细胞，对于红细胞形
颈链项链是一种戴在脖子上的绳状饰品，通常会使用金，银等贵金属制成，用宝石镶嵌其上。但有时也会使用木头、石头、贝壳、或是塑胶等不同材料。项链是一种挂在脖子上的珠宝饰品。已被
正规文法在形式语言理论中，文法（为了避免歧义，常称作“形式文法”）是形式语言中字符串的一套产生式规则（英语：Production (computer science)）。这些规则描述了如何用语言的字母表生成符合
高加索诸语言高加索语言泛指来源于高加索地区的语言，共同结合为高加索语系，其归属及分类均存争议。一般来说，高加索语言分为2或3种语系或语族，包括西北高加索语系、东北高加索语系和南高加索