亚结构逻辑

✍ dations ◷ 2025-07-12 17:59:28 #亚结构逻辑

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

相关

新拉丁语新拉丁语（拉丁语：Lingua Latina temporis humanistici、英语：New Latin 或 Neo-Latin）指在文艺复兴时期之后，20世纪前（约1375年至1900年之间）这段时间在学者间与科学文献上使用的拉
酸碱平衡酸度系数（英语：Acid dissociation constant，又名酸解离常数，代号Ka、pKa、pKa值），在化学及生物化学中，是指一个特定的平衡常数，以代表一种酸解离氢离子的能力。该平衡状况是指由一种
阿米卡星阿米卡星（amikacin、amikin (amikacin)）是一种氨基糖苷类抗生素，用于治疗多种细菌感染。阿米卡星依靠于细菌30S亚基结合，阻断细菌蛋白质合成而起到抗菌作用。阿米卡星一天可以给
白点症病毒白点症病毒（英语：White spot syndrome，简称WSS），是存在于虾类的一种病毒，此病毒只存在于虾类，但是由于病毒的毒性跟高传染性，所以很快就会把大量的虾群杀死。此病毒对虾场经济上和繁
食欲素结构 / ECOD食欲肽（英语：orexin），又名下丘脑泌素（英语：hypocretin），是对两种不同的神经肽激素的统称，其主掌人体的醒觉（英语：arousal）、觉醒（英语：wakefulness），使中枢神经处于清醒状态，也掌
氟西汀氟西汀（英语：Fluoxetine），商品名为百忧解（Prozac）是一种选择性5-羟色胺再摄取抑制剂（SSRI）类抗抑郁药。在临床上用于治疗成人重性抑郁障碍、强迫症、神经性暴食症，还用于治疗具有或不
密克罗尼西亚密克罗尼西亚（Micronesia）是太平洋三大岛群之一，希腊语字根为“小岛”之义，位于西太平洋，在南纬4°-北纬22°、东经130°-180°之间；有2500个以上的岛屿，绝大部分在赤道以北，东西延
酊剂酊（拉丁语：tinctura；英语：tincture）或称酊剂，是以乙醇为溶剂的植物或动物材料的提取物。溶剂浓度通常为25-60％，但亦可能高达90％。用于生产酊剂的其他溶剂包括醋、甘油、乙醚和丙二醇
毒药的历史毒药的历史可追溯到公元前4500年之前。自人类有史以来，毒药就用途广泛，通常是作为武器、解毒药或医疗药。毒药极大促进了医学、毒理学等其他学科分支的发展。毒药在远古时就已
语言学家列表语言学家是指研究语言学并有一定造诣的学者。下列是语言学家的列表（List of linguists），可以参考结构主义的当代语言学家。