亚结构逻辑

✍ dations ◷ 2025-06-07 02:56:22 #亚结构逻辑

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

相关

词库词库（英语：lexicon）是指一个人、一门语言或一门专业知识（如导航、医学等）所用到的词汇。在语言学中，词库的概念专指该语言词位的清单。语言学的有关理论认为，人类的语言由两部分组
香烟过滤嘴香烟过滤嘴用于减少吸烟时入口的烟雾、焦油和燃烧时产生的悬浮粒子，但是无法降低其健康危害。滤嘴也减少烟雾的刺激性，并避免吸烟者吸入烟叶。1925年，鲍里斯·阿维阿斯在英国邦
酶联免疫吸附法酶联免疫吸附试验（又称酵素免疫分析法，Enzyme-linked immunosorbent assay (ELISA)，简称酶联法）利用抗原抗体之间专一性键结之特性，对检体进行检测；由于结合于固体承载物(一般为塑
人民美国人，是世界上对于与美国有关的人士的指称，通常是指美国公民、美国国民，或者祖先、直系尊亲属是美国公民或国民的其他地区人士。依据美国公民出生地原则，一般来说，出生于美国各
深南部深南部（Deep South 或 Lower South），又称为棉花州（Cotton States），也常被译为南方腹地，是美国南部的文化与地理区域名称，与“上南方”（Upper South）相对。深南部并没有统一的定义，一般
renal肾（Kidney）是脊椎动物体内的一种器官，属于泌尿系统的一部分，负责过滤血液中的杂质、维持体液和电解质的平衡，最后产生尿液经由后续管道排出体外；同时也具备内分泌的功能以调节血压
J01MA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
脑血管障壁脑血管障壁（英语：blood–brain barrier ，BBB），也称为血脑屏障或血脑障壁，指在血管和脑之间有一种选择性地阻止某些物质由血液进入大脑的“屏障”。19世纪末，保罗·埃尔利希在一个实
痔痔垫（英语：Hemorrhoids），是位于肛管（英语：Anal canal）的血管（英语：sinusoid (blood vessel)）组织，在正常情形下可协助控制排便。但当它肿胀（英语：Swelling (medical)）或发炎时，会呈现病态或
楚科奇－堪察加语系楚科奇－堪察加语系，又名罗拉维特兰语系(Luorawetlan)，是古西伯利亚语言的其中一种，通行于东北西伯利亚。虽然古西伯利亚语言本身的成员未必有关连，但楚科奇－堪察加语族之内的语言