亚结构逻辑

✍ dations ◷ 2024-12-22 18:20:55 #亚结构逻辑

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

相关

本土外小岛屿美国本土外小岛屿（英语：United States Minor Outlying Islands），国际标准化组织的ISO 3166-1国际标准、中华人民共和国国家标准GB/T 2659、《中华民国国家标准》CNS 12842所定义
俄克拉何马州坐标：35°30′N 98°00′W / 35.5°N 98°W / 35.5; -98俄克拉荷马州（切罗基语：ᎠᏍᎦᏯ ᎩᎦᎨᏱ，转写： Asgaya gigageyi，或者ᎣᎦᎳᎰᎹ(音译自英语)；波泥语：Uukuhuúwa；卡育加语：Ga
深南部深南部（Deep South 或 Lower South），又称为棉花州（Cotton States），也常被译为南方腹地，是美国南部的文化与地理区域名称，与“上南方”（Upper South）相对。深南部并没有统一的定义，一般
MPS单核吞噬细胞系统（英语：Mononuclear phagocyte system、MPS）是高等动物免疫系统的一部分，由可以进行吞噬作用的细胞组成。通常存在于网状结缔组织（reticular connective tissue）
造血作用造血作用（英语：Haematopoiesis，其它拼法为haemopoiesis或hemopoiesis，在美式英语中也被拼作hematopoiesis；源自古希腊语中意为“血液”的词汇αἷμα以及意为“创造”的词汇πο
沃夫巴金森怀特症候群沃夫巴金森怀特症候群（英语：Wolff–Parkinson–White syndrome）是由于心脏电气系统的特定类型问题导致症状而导致的紊乱。约40％的电气问题患者从未出现症状。症状包括心跳异常
酸性气体酸性气体（英语：Acid gas），是天然气或任何其他气体的混合物，其中含有大量的硫化氢（H2S）、二氧化碳（CO2），或类似的污染物。在炼油厂或天然气处理厂，去除硫醇和/或硫化氢的过程通常被称为
吉萨坐标：30°01′N 31°13′E / 30.017°N 31.217°E / 30.017; 31.217吉萨（阿拉伯文：الجيزة‎，拉丁化：al-Gīzah）是尼罗河西的城市，在开罗西南约20公里外，现为开罗都会区的一部
羊膜动物羊膜动物（Amniota）是一群四足脊椎动物，包括合弓类动物（哺乳类与似哺乳爬行动物）与蜥形类（含爬行动物、鸟类）。羊膜动物借由产卵、胎生等方式繁衍，胚胎由多层膜来保护。在真兽类哺乳
皮亚诺朱塞佩·皮亚诺 Giuseppe Peano（1858年8月27日－1932年4月20日）是意大利数学家、逻辑学家、语言学家。朱塞佩·皮亚诺于1858年8月27日生于意大利的库内奥（Cuneo）附近的斯宾尼塔（Spi