亚结构逻辑

✍ dations ◷ 2025-12-08 00:47:14 #亚结构逻辑

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

相关

灰尘灰尘由固体物质的细小颗粒组成。在地球上，它通常由大气中的悬浮微粒组成，这些颗粒来自各种来源，例如土壤、因风蚀而被风带走的尘埃、火山爆发和其他空气污染。房屋、办公室和其
甘露醇甘露醇(Mannitol)，又称木蜜醇，是一种白色结晶固体，外观与甜味像蔗糖。它是一种己六醇，脱水剂的一种，可作为利尿药，也可作为甜味剂。甘露醇被分类为糖醇；也就是说，它是从糖类（甘露糖）通
ECL细胞类肠嗜铬细胞（Enterochromaffin-like cells），常简称ECL细胞（ECL cells）是一种胃黏膜（英语：gastric mucosa）上的神经分泌细胞，常分布于胃壁细胞附近。ECL细胞能分泌组织胺，辅助胃酸的分
糖蛋白糖蛋白是一种含有寡糖链的蛋白质，两者之间以共价键相连。其中的寡糖链通常是经由共转译修饰或是后转译修饰过程中的糖基化作用而连结在蛋白质上。糖蛋白多肽链常携带许多短的
城市径流城市径流（Urban runoff），是城市化造成雨水的地表径流。这种径流是世界许多城市化地区水污染的主要来源。道路、停车场和人行道等不透水表面是在土地开发过程中建设形成的。在暴
生物浓缩性生物浓缩性，因自工业革命之后，人类大量合成各种化学物质应用在生活上，在经过使用之后，其中之化学毒性进入环境当中，在经过食物链生产者→初级消费者→次级消费者逐渐累积体内中的
斯普利特斯普利特（克罗地亚语：Split），是一座位于地中海畔、亚得里亚海东岸的克罗地亚南部港市。市内人口约有18万（2001年调查），是达尔马提亚地区最大都市，也是克罗地亚第二大城。同时，斯普利
三明市三明市（闽中语三明话：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium
龙线虫病麦地那龙线虫病，又名几内亚线虫病（GWD），是龙线虫感染所引发的疾病。人类饮用不洁净的水后，如果水中含有感染了龙线虫幼虫的水蚤，就会受到感染。患者起初没有症状。大约一年后，母虫
托马斯·霍布斯托马斯·霍布斯（英语：Thomas Hobbes　1588年4月5日－1679年12月4日），是英国的政治哲学家，创立了机械唯物主义的完整体系，认为宇宙是所有机械地运动着的广延物体的总和。他提出“自然