亚结构逻辑

✍ dations ◷ 2025-11-05 08:31:06 #亚结构逻辑

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

相关

小肠炎小肠炎（英语：Enteritis）是小肠的发炎。最常见的原因是食物或饮料被致病性微生物污染，如沙雷氏菌（英语：Serratia）。也可能是其他原因，例如非类固醇消炎止痛药、古柯碱、放射治疗，以及
抗利尿激素1jk4, 1jk6, 1npo, 2bn2· signal transducer activity · receptor binding · neuropeptide hormone activity · neurohypophyseal hormone activity · V1A vasopre
血液血液（英语：blood）是在动物的循环系统、心脏和血管腔内循环流动的一种组织，可以将氧气及营养素送到各器官，并将细胞的代谢废弃物带离细胞。血液组织是结缔组织的一种，由血浆和血细
短尾噬菌体科T7噬菌体属 φ29噬菌体属 P22噬菌体属 N4噬菌体属短尾噬菌体科(Podoviridae)，又译作短尾病毒科，一般宿主为细菌，Podo来自从希腊文的pous，有脚、足、短的尾巴之意。
胸腺嘧啶胸腺嘧啶（英语：Thymine，简写为 T），又称为5-甲基尿嘧啶（英语：5-methyluracil），为嘧啶类碱基，是形成DNA核苷酸中四种碱基（G－C－A－T）的其中一种。如其别名，胸腺嘧啶是尿嘧啶（U）5号位碳原子上甲基化
头头癣（外语favus, tinea capitis, ringworm of the scalp）是皮肤细菌疾病，由真菌引起，有可能引发其它疾病。三种主要的真菌是：小孢癣菌、表皮癣菌和毛癣菌属。头癣可能出现于各部
肘肘是指手臂中部，连接上臂与前臂的铰链关节——肘关节附近的区域。有三块骨头与肘关节相连：上臂的肱骨、前臂的尺骨和桡骨。肘尖的突出物是尺骨鹰嘴，而肘内部的外表构造称为肘前
辅音辅音，或称子音，在调音语音学中是语音的一类，与元音相对，发音的调音环节中气流在调音器官某一部分受到完全或部分阻碍。辅音的发音都可以分为三个阶段：成阻——持阻——除阻。这三
抽水马桶抽水马桶，又称冲水马桶，约翰·哈林顿（Dr. John Harington）被认为是第一个发明抽水马桶的人，1778年由约瑟夫·布拉梅（英语：Joseph Bramah）发明，是以杠杆原理把定量水由水箱拉下，把排泄
功能动词功能动词，也叫轻动词(Light verb)，是一些普通动词在某些情况下独立出来拥有新的用法的一类特殊的动词，这类动词在句子中丢失了其自身的含义，而是需要与另一个实义动词性质的成分