首页 >
亚结构逻辑
✍ dations ◷ 2025-09-17 02:13:22 #亚结构逻辑
在数理逻辑中,特别是联合上证明论的时候,一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用:结构规则的概念是基于相继式(sequent)表达,而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。在相继式演算中,你可以把证明的每一行写为这里的结构规则是重写相继式左手端的Γ的规则,Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式:我们希望把相继式符号读做这里我们把右手端的Σ采纳为一个单一的命题C(这是直觉主义风格的相继式);但是所有的东西都同样的适用于一般情况,因为所有的操作都发生在十字转门(turnstile)符号的左边。因为合取是交换性和结合性的操作,相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如演绎自还有对应于合取特性的幂等性和单调性的进一步的结构规则:从我们可以演绎出还有从我们可以演绎出,对于任何B,在线性逻辑中有重复的假设(hypothese)'被认为'不同于单一的出现,它排除了这两个规则。而相干逻辑只排除后者的规则,因为B明显的与结论无关。这些是结构规则的基本例子。在应用到常规命题演算的时候,这些规则是没有任何争议的。它们自然的出现于证明理论中,并在那里被首次注意到(在获得一个名字之前)。
相关
- EoL网络生命大百科(英语:Encyclopedia of Life,缩写:EOL)是一个免费的在线协作百科全书,旨在记录所有生物的科学知识,由世界各地的专家和非专家的贡献编制。旨在为每个物种构建一个“
- 射精射精是指精液(一般包含精子)从男性生殖道射出的过程,男性射精一般会伴随性高潮。对于男性而言,它是受到一连串性刺激后,最终会显现的现象,并是自然受精的重要一环。在部分罕有例子
- 呋喃苯胺酸呋塞米(Furosemide),市面常见的商品名为来适泄锭(Lasix),系一种用来治疗因心脏衰竭、肝硬化或肾病变引起的水肿,也可治疗高血压的药。使用剂量依人而定,可以经静脉注射或口服给药,口
- 日落综合征日落症候群是部分老人痴呆症或阿兹海默症患者的其中一种病征,发病率由一成至三成不等,患者一到日落、傍晚时刻,就开始出现焦躁、躁动、幻觉、甚至产生攻击倾向。日落症候群的成
- 鞘内注射鞘内(intrathecal、<intra- + theca、IT、"within a sheath">、脊髓内、鞘内注射、脊髓腔内注射)指某些东西"发生在"或"引入到"鞘内部(一般而言指脑或脊髓蛛网膜(arachnoid
- 胡斯战争胡斯战争(Hussite Wars)-亦称波希米亚战争 (Bohemian Wars),发生于1419年7月30日至1434年5月30日,起因于神圣罗马帝国领地波希米亚的宗教改革家扬·胡斯在康士坦斯大公会议中,被罗马
- 鞭虫鞭虫是一种圆虫(一种寄生虫),因为其形状与鞭子相似而被称为鞭虫。
- 毛细管毛细现象(又称毛细管作用)是指液体在细管状物体内侧,由液体与物体之间的附着力和因内聚力而产生的表面张力组合而成,令液体在不需施加外力的情况下,流向细管状物体的现象,该现象甚
- 简单扩散扩散作用是一个基于分子热运动的输运现象,是分子通过布朗运动从高浓度区域(或高化势)向低浓度区域(或低化势)的运输的过程。它是趋向于热平衡态的驰豫过程,是熵驱动的过程。菲
- HLA-B3VCL· plasma membrane · integral to plasma membrane · ER to Golgi transport vesicle membrane · membrane · integral to membrane · phagocytic vesicle m