亚结构逻辑

✍ dations ◷ 2025-11-20 13:21:42 #亚结构逻辑

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

相关

放射线疗法放射治疗（英语：Radiation therapy；或者叫电疗，与物理治疗中的电疗（英语：Electrotherapy）相异）是使用电离辐射作为治疗疾病的方式。与放射治疗有关的医学专业称为放射肿瘤学或放射治
多细胞多细胞生物是指由多个、分化的细胞组成的生物体，其分化的细胞各有不同的、专门的功能。大多数可以使用肉眼看到的生物是多细胞生物。所有多细胞生物都属于真核生物。多细胞
骨内给药骨内针（intraosseous vascular access）是利用骨骼给药的方式。在1922dc Drinker教授提出骨髓并不会塌陷，可以将之视为静脉用以注射药剂，因此开始有了骨内针intraaosseous vascul
拉帕替尼拉帕替尼（Lapatinib）是由葛兰素史克所研发制造的抗癌药物，于2007年3月13日由美国食品药物管理局所核准上市。目前核准的适应症为与卡培他滨（Capecitabine）合并治疗晚期或是转移性
氨基胺类（英语：amine）是氨分子（NH3）中的氢被烃基取代后形成的一类有机化合物，简称“胺”。不建议将“胺”（amine）写成“氨”（ammonia），两者意义与英文名称不同。氨基（－NH2、－NHR、－NR2）是胺的官
施泰克博恩施泰克博恩是瑞士的城镇，位于该国东北部，由图尔高州负责管辖，面积8.76平方公里，海拔高度400米，2011年人口3,642，其中信奉罗马天主教和基督教的居民各占三成。
颞.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
视觉视觉是通过视觉系统的外周感觉器官（眼）接受外界环境中一定波长范围内的电磁波刺激，经中枢有关部分进行编码加工和分析后获得的主观感觉。至少有80%以上的外界信息经视觉获得，因
语言列表本表是以现代标准汉语拼音或注音首字母排列的所有语言的列表，收录了目前世界现存语言超过6900种语言（其中汉语可视为“汉语族”或是一种语言，但部分汉语方言仍在列表中）。
亚非语系亚非语系，又称非亚语系、非洲－亚洲语系或阿非罗－亚细亚语系，旧称闪含语系或闪米特－含米特语系，是现今世界的主要语系之一，包含300种语言，主要分布在亚洲西部的阿拉伯半岛、非洲北部