亚结构逻辑

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

相关

  • 巴斯德消毒法巴氏消毒法(法语:Pasteurisation),法国生物学家路易·巴斯德于1864年发明的消毒方法,原理是用60~90°C的短暂加热,来杀死液体中的微生物,以达到保质的效果;确切温度和时间依照液体的
  • 醛固酮增多症醛固酮增多症(hyperaldosteronism),是一种由于肾上腺产生的醛固酮过多导致的疾病。醛固酮过多可进一步造成血液中钾水平降低(低钾血症)和氢离子排泄增多(碱中毒(英语:alkalosis))。醛
  • 睑痉挛眼睑痉挛,俗称眼睛跳,是指眼睑肌肉不自控的痉挛现象。这现象可以同时发生于双眼,亦有左右眼分别跳动的现象。 眼眉跳(粤)应该属于 Eyelid Myokymia.据知眼睑痉挛成因有三:除此之外
  • 滴虫性阴道炎滴虫性阴道炎(英语:trichomoniasis,trich)也称为滴虫炎,,是因为阴道毛滴虫(英语:Trichomonas vaginalis)所引起的传染病,会造成女性阴道或是男性尿道的发炎。约70%的女性及男性在罹病
  • 比热容比热容(英语:specific heat capacity,符号c),简称比热,亦称比热容量,是热力学中常用的一个物理量,表示物体吸热或散热能力,比热容越大,物体的吸热或散热能力越强。它指单位质量的某种
  • 青壮年青壮年(young adult)一般是指年龄在30岁至40岁(或41岁)周岁年纪的成人,不过也有不同的定义(例如爱利克·埃里克森提出的埃里克森社会心理发展阶段等)。成人在青壮年之后的阶段称为
  • 埃雷特里亚埃雷特里亚(英语: Eretria /əˈriːtriə/; Greek: Ερέτρια; 语意: 桨手的城市 "city of the rowers" )是希腊艾维亚岛上一个城镇,面向艾维亚海峡中的阿提卡的海湾。埃
  • 偏执型人格障碍妄想型人格障碍(paranoid personality disorder)又叫偏执型人格障碍,其症状常表现为:对别人的回绝,不信任,厌恶过度敏感,而且很容易怀疑别人对自己有这些反面情绪。别人无意中的一
  • 扶余-新罗语系朝鲜语系,或称朝鲜语族,又作韩语系、韩语族、高丽语系,是东亚地区的一个假定的语系,包括现代的韩国语、济州语,以及一些已经灭亡的语言。目前,朝鲜语系主要通行于朝鲜半岛以及满洲
  • 阿拉伯文字阿拉伯文字是一种用于书写阿拉伯语、曼丁哥语方言、中库尔德语、卢尔语、波斯语、乌尔都语、普什图语及其他亚非语言的书写系统。在16世纪还被用于书写西班牙语。阿拉伯文字