亚结构逻辑

✍ dations ◷ 2025-12-04 23:03:43 #亚结构逻辑

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

相关

腺热传染性单核白血球增多症（英语：Infectious mononucleosis，缩写“IM”，别名mono、glandular fever、Pfeiffer's disease、Filatov's disease）是一种由EB病毒造成的传染病。大部分人
TNF-α1A8M, 1TNF, 2AZ5, 2E7A, 2TUN, 2ZJC, 2ZPX, 3ALQ, 3IT8, 3L9J, 4TSV, 5TSW· cytokine activity · tumor necrosis factor receptor binding · protein binding · id
莫匹罗星莫匹罗星（英文：Mupirocin）是一种外用抗生素类抗感染药。莫匹罗星又称假单胞菌酸A，由荧光假单胞菌(Pseudomonas fluorescens)分离出。莫匹罗星作用在细菌体内的异亮氨酸—tRNA合
建筑美国对建筑学的贡献之一为摩天大楼。那些大胆直线成为了它资本家能量的标志。新建筑技术和电梯的发明带来新的可能性。在1884年第一座摩天大楼矗立在伊利诺伊州芝加哥市内。
恶性疟原虫Oscillaria malariae Laveran, 1881 Plasmodium malariae Marchiafava and Celli, 1885 Laverania malariae Feletti and Grassi, 1890 Ematozoo falciforme Antolisei and
大气层大气层，均源自及也许是一层受到重力吸引聚拢在拥有巨大质量天体周围的气体，而如果重力够大且气体的温度够低，就能长期保留住。有些行星拥有许多不同的主要气体，并且有非常深厚的
念珠菌病念珠菌症（Candidiasis）是假丝酵母属（酵母菌的一种）所造成的霉菌感染，在感染口腔时，就会引发鹅口疮（Thrush）。症状和病征包括在舌头、口腔以及咽喉的部位出现小白点，也可能产生例如酸
卤米松卤米松是一种皮质类固醇，可用于治疗银屑病以及非感染性急性湿疹皮炎类皮肤病。
开罗省开罗省（阿拉伯语：محافظة القاهرة‎），是埃及的一个省，位于该国尼罗河三角洲东南角。首府开罗同时也是埃及的首都。开罗省面积3,085平方公里，人口13,000,000人（2006年统
四足动物四足动物（英语：Quadrupedalism；源自拉丁文）是一类使用四支脚来运动的动物。大多数在陆地上行走的动物都属于四足动物，他们在分类上可能是哺乳类（例如马与猫）、爬虫类（例如蜥蜴）以及两