亚结构逻辑

✍ dations ◷ 2025-11-17 00:18:46 #亚结构逻辑

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

相关

不孕不孕（英语：Infertility）又称不育，是指人类、动物或植物无法透过有性生殖繁衍后代的情形。对于大部分健康的成熟动植物个体而言，会在生命中的特定时期内有生育能力，不过真社会性物
吡哆醇缺乏症维生素B6（英语：Vitamin B6）是B族维生素的一种，又名抗皮炎维生素、吡哆素，在食物中分布较广，同氨基酸代谢有密切关系，是氨基酸脱羧酶、转氨酶等的辅酶。此为一种水溶维生素，在烹饪过
城市化城市化（英语：urbanization / urbanisation），又称城镇化、都市化，是指人口向城市聚集、城市规模扩大以及由此引起一系列经济社会变化的过程，其实本质是经济结构、社会结构和空间结
降糖药抗糖尿病药用于降低血中的葡萄糖浓度来治疗糖尿病。除了胰岛素、艾塞那肽（英语：Exenatide）、利拉鲁肽和普兰林肽（英语：Pramlintide）外，其他的都是经由经由口服，所以又称为口服降血糖
眼虫门裸藻纲 Euglenoidea 动质体 Kinetoplastea Diplonemea Postgaardi Calkinsia眼虫门是一群鞭毛生物。兼有叶绿素和眼点，兼有动物和植物的特性。在植物学、藻类学中称为“裸
经典条件反射经典条件反射（英语：classical conditioning，又称巴甫洛夫条件反射、反应条件反射、alpha条件反射），是一种关联性学习。伊万·彼得罗维奇·巴甫洛夫将这种产生条件反射行为的学习
西北部美国西北部包括从美国西北直至大平原的地区，包括俄勒冈州、华盛顿州，可能包括爱达荷州、蒙大拿州、阿拉斯加州东南，有时也可能包括怀俄明州；偶尔北加利福尼亚州也包括在内。西北
查尔斯·路易士·阿冯斯·拉韦朗夏尔·路易·阿方斯·拉韦朗（法语：Charles Louis Alphonse Laveran，1845年6月18日－1922年5月18日），法国医师。1880年在阿尔吉利亚君士坦丁的军医院工作时，拉韦朗发现疟疾是由一种
EBV人类疱疹病毒第四型（拉丁语：Epstein-Barr virus，缩写EBV、爱泼斯坦-巴尔病毒、 human herpesvirus 4 (HHV-4)），又称为EB病毒，是最常见能引起人类疾病的病毒之一。EBV是在公元1964
主动脉夹层主动脉夹层（英语：aortic dissection；法语：dissection aortique；德语：Aortendissektion），又译为“主动脉剥离”或“心血管动脉撕裂”，是因为主动脉血管内膜（英语：Tunica intima）受伤，使得