亚结构逻辑

✍ dations ◷ 2025-11-30 06:22:11 #亚结构逻辑

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

相关

氯四环素金霉素也被称为“氯四环素”，是第一个被发现的四环素类抗生素。于1945年被Benjamin Duggar博士从密苏里大学的桑博试验田采集的土壤样本中分离得到的金色链霉菌（Streptomyces
香料香料是具挥发性，并能用以配制香精的芳香物质的总称。分为天然香料和人造香料，用于制造化妆品、食品等。古人云：“香之为用从上古矣。所以奉神明，可以达蠲洁。”天然香料包括动物
心内膜炎心内膜炎（英语：Endocarditis）是心脏的心内膜（心腔中的最深层的组织）引发的炎症，通常和心脏瓣膜有关。此外，心内膜炎也可能与室间隔（英语：interventricular septum）、腱索（英语：chordae t
海岸警卫队HH / MH-60 J/T Jayhawk（英语：HH-60 Jayhawk）HC-130 H/J Hercules（英语：Lockheed HC-130）HU-25 A/C GuardianVC-37A Long Range VIP Aircraft美国海岸警卫队（英语：United States Coa
腓骨腓骨（拉丁语：Fibula）是人和脊椎动物（四足类）小腿上的两块长骨之一，位于小腿外侧，较细；某些动物（如蛙和蟾蜍等）腓骨与其内侧的胫骨融合成胫腓骨。腓骨比胫骨细；腓骨上端称作腓骨小头，可以
马偕医院台湾基督长老教会马偕医疗财团法人马偕纪念医院，一般简称马偕纪念医院、马偕医院，是台湾基督长老教会属下的医院。1872年3月9日马偕来到淡水。1879年12月26日马偕首次返国述职
露洗剂是一种低黏度到中黏度的外用制剂，用于未破的皮肤，常为水粉混合物。与其对比的是霜和凝胶，它们具有高黏度。乳液可以直接用手，或是干净的布、棉毛纺织品、纱布等涂抹于皮肤上
东爪哇省坐标：7°16′S 112°45′E / 7.267°S 112.750°E / -7.267; 112.750东爪哇省（印尼语：Jawa Timur）是印度尼西亚省份之一。它的省府是泗水。该省面积共47,922平方公里，西部与中爪
客观客观性是哲学的一个中心概念，指从不同观点或角度来思考或判断某件事物的合理性，一个事物不受主观思想或意识影响而独立存在的性质，跟“主观性”相对应。客观的事实，不受人的思想
免疫球蛋白A免疫球蛋白A（Immunoglobulin A，缩写：IgA），是血清中的含量仅次于IgG，占血清免疫球蛋白的10～20％，存在于粘膜组织，例如消化道、呼吸道以及泌尿生殖系统。黏膜组织具有黏膜层淋巴组织，会制