亚结构逻辑

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

相关

  • 细菌形态分类细菌可以按照由光学显微镜观察到的形态和聚集方式分类。细菌的结构简单,几乎所有细菌按照上述标准都可以被归入球菌、杆菌与螺旋菌或弧菌之列。其中,杆菌最为常见,球菌次之。细
  • 嗜碱性粒细胞嗜鹼性球或嗜鹼性粒細胞(英语:Basophil 或 Basophilic granulocyte)是一种最少见的粒细胞,约占循环系统中白细胞的0.5%至1%,得名自其可以被碱性的染料染上色的特性,是许多免疫反应
  • 血管血管(德语: Blutgefäße;英语:blood vessels;西班牙语,葡萄牙语: vasos sanguineos)是生物运送血液的管道,依运输方向可分为动脉、静脉与微血管。动脉从心脏将血液带至身体组织,静
  • 弥漫性血管内凝血弥散性血管内凝血(英语:Disseminated Intravascular Coagulation,简称DIC),又称消耗性凝血病,是指在某些致病因子的作用下,大量促凝物质入血,凝血因子和血小板被活化,使凝血酶增多,微
  • 诱发性肺量计诱发性肺活量计 ( incentive spirometer ) 是一种医疗设备,用于任何可能危害呼吸功能手术的患者,特别是肺部手术,帮助病人改善他们的肺部功能,预防及改善肺塌陷。 ,但也适用于心
  • 湖南省儿童铅中毒案湖南省儿童铅中毒案发生于中国湖南省武冈市。因武冈市精炼锰加工厂污染导致数十名农村地区儿童血液中铅含量超标,居民中出现恐慌和愤怒情绪。舆论高度关注中国农村和边远地区
  • 托伦市托伦(波兰语:Toruń ;德语:Thorn,托恩)是波兰的一个城市,是1233年由条顿骑士团所建立。属库亚维-波美拉尼亚省。托伦曾是托伦省的省会。托伦的旧市区也是世界文化遗产。托伦在瓜分
  • AOL美国在线(AOL Inc.,前身为:America Online,AOL),著名的互联网服务提供者,现为电信商威讯旗下Verizon Media公司的子公司。今天的美国在线,源自20世纪80年代的一家计算机服务公司Cont
  • 细菌性阴道病细菌性阴道炎(Bacterial vaginosis,简称BV),又称细菌性阴道病、非特异性阴道炎(Nonspecific vaginitis)是种发生在阴道内的疾病,其原因是细菌大量滋生而造成的。常见的症状包括有阴
  • 端粒酶端粒酶(英语:Telomerase)是一种由RNA和蛋白质组成的核糖核蛋白复合体,属于反转录酶,与端粒的调控机理密切相关。人类的端粒酶亚单位基因已被复制出来,分别是端粒酶RNA(hTR)、端粒酶