亚结构逻辑

✍ dations ◷ 2025-11-25 18:26:37 #亚结构逻辑

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

相关

性高潮后病情综合征性高潮后病情综合征（英语：Postorgasmic illness syndrome，POIS）是一种罕见的病症，特征为性高潮后持续数小时至数天的虚弱症状。该现象在2002年首次获医学文献所记载。症状通常出
联邦规则汇编联邦规则汇编（英语：Code of Federal Regulations，缩写：CFR）是由美国联邦政府执行部门的联邦公报发布的一般性和永久法律法规的汇编，通过不同的主题把联邦规则分为50个主题。联邦规
食欲食欲（Appetite）是指一个人对于食物进食的渴望，有时可能是因为饥饿所造成，不过具吸引力的食物可能会让人在不饥饿时仍然有食欲。食欲可以调节能量的摄取，以维持身体代谢所需的量，其
摩尔质量在化学中，摩尔质量（英文：molar mass）是每一摩尔化学元素或者化合物的质量，符号为 .mw-parser-output .serif{font-family:Times,serif}Mmol。摩尔质量是一种物质的宏观性质，而非微
不可再生不可再生能源，又称非再生能源、耗竭性能源，与可再生能源对应，是无法经过短时间内再生的能源，而且它们的消耗速度远远超过它们再生的速度。煤炭、石油、天然气等化石燃料与核燃料
牙膏牙膏是一种洁齿剂，一般呈凝胶状，通常会抹在牙刷上用于清洁牙齿保持牙齿美观和亮白。牙膏是用来提高口腔健康问题的：它提供了充足的摩擦力，协助清洁牙齿、牙龈间的牙菌斑、食物等
兽医学兽医学（英语：veterinary medicine 或 veterinary science）是一门应用医学诊断与治疗方法来处理动物问题的学门，面对的动物包括宠物、野生动物或家畜与家禽等。兽医学除了研究一
沙林沙林（Sarin）是一种神经毒剂，通过抑制乙酰胆碱酯酶来破坏神经系统的功能。沙林在人体中的降解速度很慢，具有累积毒性。1938年，沙林由德国法本公司的研究者格哈德·施拉德(Gerhard
前置词前置词（preposition）在文法里是一种介词或助词，其作用为建立受词（多半是一个名词词组）与句子中其他部分的关系，通常用来表示位置或时间。
现在式现在时（Present tense），也常称为现在式，是一种时态，用于说话时点所正在发生事件的语法意义。这种语法意义还能表示：有二种共同的类型现在时被发现在多数印欧语系：现在时和现在虚拟