亚结构逻辑

✍ dations ◷ 2025-11-12 08:40:12 #亚结构逻辑

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

相关

酰胺醇类抗生素酰胺醇类抗生素是一种抗生素。常见的有得氯霉素，甲砜霉素、氟苯尼考等。临床常用的品种为甲砜霉素和氟苯尼考。制剂有甲砜霉素片、氟苯尼考注射液、氟苯尼考可溶性粉等。抗菌
ICD-9编码列表 (460–519)医学导航: 呼吸系统解剖(n, x, l, c)/生理/发育病理(c, p)/先天/肿瘤, 症状/人名体征, 创伤手术, 药品(R1/2/3/5/6/7)
忌辰祭祀，(英语：祭：sacrifice；祀：ritual；韩语：한국의 제사，罗马化：Jesa）是指以线香、酒水、肉类、蔬果，或布帛和玉（传统儒教祭祀）等供品向神灵、圣徒或者亡魂奉献、祈祷的一种行为。中国古代
中生动物门中生动物是一种多肉海洋无脊椎寄生动物，现今依然不清楚它们是退化了的扁形动物，还是独立发展出的。一般而言，这些细小、难以理解的生物是由包附在一个或多个生殖细胞上的纤毛种
伤口伤口（Wound）是人在受伤后留下的损害，是皮肤在切伤、撕裂等受伤后的快速反应，是属于外伤。与之对比的是内伤，即创伤后受到的瘀伤。外伤小腿割伤脚板受感染的伤口玩飞镖时插伤切伤
塞拉利昂特别法庭塞拉利昂特别法庭（英语：Special Court for Sierra Leone，縮寫SCSL），是一个由塞拉利昂政府（英语：government of Sierra Leone）和联合国建立的司法机关，目的是审判在1996年11月30日以后
积雨云积雨云（拉丁语：Cumulonimbus，符号：Cb），又名雷雨云，属于直展云族。积雨云可以单独从积云状态发展出来，也可能是伴随冷锋面产生的，通常会产生强阵性的降水，并伴有大风、雷暴等。积雨云是
护理护理学是自然科学、社会科学、人文科学等多学科相互渗透的一门综合性应用学科。从1860年南丁格尔创办第一所护士学校——南丁格尔护士训练学校（Nightingale Training School
世界大洋世界大洋（英语：World Ocean）是个接连全球海洋或海湾、海峡的系统。除了内流河及咸水湖外，它包含了世界上大部分的水域。世界大洋的连结性和统一性所致海中物质的交流对于海洋学
无机无机化学是研究无机化合物的化学分支学科。通常，无机化合物与有机化合物相对，指不含C-H键的化合物，因此一氧化碳、二氧化碳、二硫化碳、氰化物、硫氰酸盐、碳酸及碳酸盐等都属