亚结构逻辑

✍ dations ◷ 2025-11-23 07:35:58 #亚结构逻辑

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

相关

疝气疝（Hernia），俗称疝气，其最初的意义是“腹痛”，但后世多特指“少腹坠痛”的狐疝，相当于现代医学的“腹股沟疝”。医学上的疝气指的是器官，例如肠子，经由腔室的孔道离开原先的位置。有
乳糜泻乳糜泻（英语：coeliac disease 或 celiac disease）是主要会影响到小肠的长期自身免疫性疾病。典型的症状包含胃肠道症状，像是慢性腹泻、腹胀、吸收不良（英语：malabsorption）、降低食
汉滩江汉滩江（朝鲜语：한탄강／漢灘江 Hantangang */?）是韩国的一条河流，为北汉江的支流，流经江原道和京畿道。历史上是汉他病毒首次发现的地方。
白俄罗斯欧洲（深灰色） —白俄罗斯共和国（白俄罗斯语：Беларусь，转写：Biełaruś；IPA：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI
慢性淋巴细胞白血病白血病（拉丁语：leukemia，/luːˈkiːmiːə/）是一群癌症种类的统称，英文名称来自于古希腊语，λευκός（leukos，白色）与αἷμα（haima，血液）的组合。它通常发病于骨髓，造成不正常白血
美国医学会美国医学会（American Medical Association，缩写AMA），成立于1847年，1897年成为法人，为美国最大的医生组织。总部位于芝加哥。会员人数超过21万（2010年）。组织代表美国医生（M.D. 和 D
图像记谱图像记谱(Graphical notation)是音乐记谱法的其中一种，以图案、不常用的符号以及文字解释的形式去描述音乐的演奏方法。当代的实验音乐为了发掘新的演奏模式，当传统的音乐符号
乏核燃料乏核燃料是经受过辐射照射、使用过的核燃料，通常是由核电站的核反应堆产生。这种燃料无法继续维持核反应。乏核燃料中仍然包含有大量的放射性元素，因此具有放射性，如果不加以妥
密歇根湖密歇根湖（Lake Michigan）是北美洲五大湖之一，从南方顺时针排列，沿岸有美国如下各州︰印地安那、伊利诺伊、威斯康辛及密歇根。“密歇根”这个字原本是用来称呼这座湖泊的，被认为是
伊维菌素伊维菌素（ivermectin）也称为爱获灭，是一种有效抗多种寄生虫的治疗药物，其适用于治疗头虱、疥螨引起的疥疮，蟠尾丝虫症（河盲症），线虫感染，班氏丝虫感染导致的象皮病等。伊维菌素可以涂