亚结构逻辑

✍ dations ◷ 2025-12-11 14:44:40 #亚结构逻辑

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

相关

微生物微生物是难以用肉眼直接看到的微小生物总称，包括细菌、真菌、放线菌、原生动物、藻类等有细胞结构的微生物，以及病毒、支原体、衣原体等无完整细胞结构的生物。一般需要借助
上呼吸道呼吸道是指人体内呼吸过程中空气所要通过的所有器官的总称。呼吸道是呼吸系统的一部分，呼吸系统还包括空气不必通过的、但对呼吸过程依然非常重要的器官，比如横膈膜。呼吸道可
人口老化人口老龄化又称人口老化或人口高龄化、老龄化社会，是指因出生率降低和/或预期寿命延长导致年龄中位数增加的现象。大多数发达国家人口长寿，老龄人群变多；但发展中国家目前也出
血栓血栓是在血管中形成的血块，于循环系统中会妨碍或阻断血流。当血管受损，血液中的血小板和纤维蛋白会聚集而形成血块修补之，以避免失血或因血流冲击造成血管进一步伤害。若血块脱
心绞痛心绞痛又称为狭心症（Angina pectoris），是心肌缺血引起的胸痛，一般是由冠状动脉阻塞或痉挛所导致。冠状动脉疾病是心血管的动脉粥样硬化，为心绞痛的主要原因。心绞痛的原文“angin
英国历史联合王国（英语：United Kingdom，缩写：UK，全名：大不列颠与北爱尔兰联合王国）历史，其发展以英格兰王国为核心，逐次并入威尔士公国、苏格兰王国和爱尔兰王国。目前联合王国的领土包含英格
脉络膜脉络膜（Choroid）是位于视网膜和巩膜之间的组织，主要由色素及微细血管组成，呈暗褐色。其血管供给视网膜葡萄糖及氧气。色素则吸收眼球内多余的光，防止它们因折射和散射而干扰视细
行政行政机关，又称行政机构、行政部门，其工作是对组织进行日常的管理并施行法律政策等相关活动，是三权分立中的其中一部分。广义上，行政定义为负责国家政策的执行的政府机构。狭义上
官方语言列表索引国防预算石油储量军事（武装部队）死刑国债生育率最高点官方语言地理政体面积代码陆地面积人口人口密度国内生产总值国徽国旗国歌国家格言首都城市
黑体陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧