亚结构逻辑

✍ dations ◷ 2025-11-27 19:26:15 #亚结构逻辑

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

相关

主要组织相容性复合体主要组织相容性复合体（major histocompatibility complex，MHC），又称主要组织相容性复合基因，是存在于大部分脊椎动物基因组中的一个基因家族，与免疫系统密切相关，其中人类的MHC糖蛋
大肠埃希氏杆菌大肠杆菌（学名：Escherichia coli，通常简写：E. coli）是人和动物肠道中著名的一种细菌，主要寄生于大肠内，约占肠道菌中的0.1%。大肠杆菌是一种两端钝圆、能运动、无芽孢的革兰氏阴性
水泡水泡（英语：Blister），或称水疱，是皮肤表层聚积一小包体液的现象，体液可以是淋巴液、血清、血浆、血液、脓等，通常是由于摩擦、灼伤、冻伤、化学品接触、感染引起的。水泡内通常为清
陆军美国陆军（英语：United States Army），是美军的分支，美国联邦八个制服部队之一。美国陆军的前身是大陆军，组建于1775年6月14日，参与独立战争。战争结束后，大陆会议在1784年6月3日成立
所见即所得所见即所得（英语：What You See Is What You Get，缩写：WYSIWYG）是由菲利普·威尔逊（Flip Wilson）所提出的一种电脑文本编辑器方面的技术，使得编辑文字时在屏幕上直接呈现最终显示效果
芳香烃芳香.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger
符号本条目提供按元素序号排列的元素列表。
骨质增生骨质增生（英语：hyperostosis）泛指人体骨骼的过度生长。它可能造成外生骨赘（英语：exostosis）。它出现在许多肌肉骨骼疾病（英语：musculoskeletal disorders）中。正常情况下，骨骼会在成骨
阳隧足海蛇尾，或阳燧足，是属于棘皮动物门的海蛇尾纲，是种类最多的一个纲，其下包括有220个属和2000个种。海蛇尾的结构与海星相似，但体盘相对较大，腕5个，盘与腕之间有明显交界，而后者腕与盘
Course in General Linguistics《普通语言学教程》（法语：Cours de linguistique générale）是由索绪尔的学生查尔斯巴利和薛施蔼基于他们老师1906年和1911年在日内瓦大学几年之间的讲座笔记而编辑的语言学著