亚结构逻辑

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

相关

  • 牙周炎牙周炎又称牙周病 (Periodontal disease),是牙周组织的疾病。侵犯牙龈、牙周、牙周膜、牙周韧带及牙槽骨等组织的慢性炎症。常见的慢性牙周病一般可分为牙龈炎和牙周炎,这两种
  • 淋巴毒素淋巴毒素(亦称为肿瘤坏死因子-β)是一种肿瘤坏死因子类细胞因子。淋巴毒素由Th1细胞产生,可诱导血管内皮细胞表面粘附分子的改变,并促进吞噬细胞与之结合。
  • 污染物污染物是指直接或间接损害环境或人类健康的物质,污染物有自然界产生的,如火山爆发、森林大火产生的烟尘;也有人类活动产生的,环境科学主要研究和关注人类活动产生的污染物。污染
  • 决定论决定论(英语:Determinism),是一种哲学立场,认为每个事件的发生,包括人类的认知、举止、决定和行动,都有条件决定它发生,而非另外的事件发生。各种有关决定论的理论贯穿在哲学史中。
  • 汉萨同盟汉萨同盟(拉丁语:Hansa、Hansa Teutonica或Liga Hanseatica,英语:Hanseatic League,又译汉撒同盟和汉莎同盟),12-13世纪中欧的神圣罗马帝国与条顿骑士团诸城市之间形成的商业、政治
  • 疣(Warts)也称是病毒疣,是皮肤上的粗糙颗粒。疣通常很小,粗糙,坚硬、其颜色与其余皮肤相似。疣通常不会造成症状,不过长在脚底时可能会疼痛。疣通常长在手和脚上,但它们也会在其他
  • 放射疗法放射治疗(英语:Radiation therapy)或简称电疗,是使用电离辐射作为治疗疾病的方式。与放射治疗有关的医学专业称为放射肿瘤学或放射治疗学。执行这个专业的医疗从业人员称为放射
  • 小肠癌在肿瘤学里,小肠癌是指发生在小肠的恶性肿瘤。和其他消化道的恶性肿瘤例如胃癌和大肠癌比较,小肠癌相对罕见。小肠全长约600cm,占胃肠道全长的70%~80%,但由于消化物暂留时间短,因
  • 博厄斯Helene Boas Yampolsky (1888-1963) Ernst Philip Boas (1891-1955)Hedwig Boas (1893/94)Gertrud Boas (1897-1924)Henry Herbert Donaldson Boas (1899-1925) MarieMeie
  • 归属动词归属动词(attributive verb)在语法上是指直接修饰名词,而不做谓语的动词。在英语、德语等一些语言中,归属动词会以分词或不定式等形式呈现,像例如英语的the walking man(意即“