亚结构逻辑

✍ dations ◷ 2025-10-08 04:33:40 #亚结构逻辑

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

相关

药品人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学药品指一切用作诊断、治疗、预防疾病
人畜共通传染病人畜共通病（英语：zoonoses）指任何可以经由动物传染给人或由人传染给动物的传染病。它们透过人畜之间直接传播，或是借由病媒传播（例如蚊子），将病原体带入另外一个生物体上，而这些病原
EICD-10 第四章：内分泌、营养和代谢疾病，为WHO规定的已发现的各类内分泌，营养和代谢疾病。甲状腺疾患（E00-E07）糖尿病（E10-E14）其他葡萄糖调节和胰腺内分泌的疾患（E15-E16）其他内分
东部美国东部（英文：Eastern United States、the American East或the East）简称美东，是指美国密西西比河以东的州份。如果将美国分为东西两部分，密西西比河以西首两梯次的州份（从北到
m·ssup−1/sup米每秒是速度（矢量）和速率（标量）的单位，属于国际单位制导出单位，可写作㎧（U+33A7 (13223)），m/s、m·s−1或mps。天文学上常以单位更大的千米每秒为单位，1 km/s = 1,000 m/s，缩写为kps。
环张力在有机化学中，环张力是当分子内的键结形成不正常角度时存在的不稳定类型。张力大多在小的环上，像是环丙烷和环丁烷这种其碳-碳-碳角度与近乎109°的理想值大大偏离的类型。.
神经康复神经可塑性（英语：Neuro-plasticity）是指重复性的经验可以改变大脑的结构，由Richard J. Davidson 在 1992 年提出。神经可塑性是近期的发现，过去的科学家往往认为在婴儿关键期后，大
阿尔吉克语系阿尔吉克语系（英：Algic languages）是北美洲原住民语言语系，主要使用在北美洲的北部地区，包括加拿大和美国的一些省份。语系内多数语言属于阿尔冈昆语族，分布在北美东岸至落基山脉
布拉格学派布拉格学派（捷克语：Pražská škola，英语：Prague school）又称布拉格语言学小组，是20世纪30年代受索绪尔影响，而在捷克斯洛伐克首都布拉格形成的一支结构主义语言学流派。与哥本哈
完备性在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个