首页 >
亚结构逻辑
✍ dations ◷ 2025-08-23 03:12:49 #亚结构逻辑
在数理逻辑中,特别是联合上证明论的时候,一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用:结构规则的概念是基于相继式(sequent)表达,而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。在相继式演算中,你可以把证明的每一行写为这里的结构规则是重写相继式左手端的Γ的规则,Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式:我们希望把相继式符号读做这里我们把右手端的Σ采纳为一个单一的命题C(这是直觉主义风格的相继式);但是所有的东西都同样的适用于一般情况,因为所有的操作都发生在十字转门(turnstile)符号的左边。因为合取是交换性和结合性的操作,相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如演绎自还有对应于合取特性的幂等性和单调性的进一步的结构规则:从我们可以演绎出还有从我们可以演绎出,对于任何B,在线性逻辑中有重复的假设(hypothese)'被认为'不同于单一的出现,它排除了这两个规则。而相干逻辑只排除后者的规则,因为B明显的与结论无关。这些是结构规则的基本例子。在应用到常规命题演算的时候,这些规则是没有任何争议的。它们自然的出现于证明理论中,并在那里被首次注意到(在获得一个名字之前)。
相关
- 基础医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学基础医学(BMS),属于基础学科,是现代医学的
- 重复DNA序列生物细胞中的DNA序列里面包含许多重复序列(repeated sequence),主要可分为两大类,分别是串联重复序列(也叫串接重复序列,Tandem repeat)与散在重复序列(Interspersed repeat)。 串联
- 康恩氏综合征原发性高醛固酮症(Primary aldosteronism),又称康氏症(Conn's syndrome),是肾上腺生产过量醛固酮而造成肾素水平下降而导致的一种疾病,通常症状不严重。大多数人会引起高血压,导致视
- 多发性大动脉炎大动脉炎(Takayasu arteritis,TA)是一种累及主动脉及其主要分支以及肺动脉的慢性进行性非特异炎性疾病:841。疾病由日本医生高安右人(Mikito Takayasu)在1908年首次报告,因此又被
- 妄想症妄想症(英语:Delusional disorder),又称妄想性障碍,是一种精神病学诊断,指“抱有一个或多个怪诞性的妄想,同时不存在任何其他精神病症状”。对于妄想症的概念,曾使用偏执狂一词。现
- 全身型过敏性反应过敏性休克(英语:Anaphylaxis)反应系指一种严重的全身性过敏反应,发病极快且具有致命性。通常会伴随以下症状:起痒疹、舌头或咽喉肿胀、呼吸困难、呕吐、头晕及低血压;以上症状往
- 阿那克西曼德阿那克西曼德(希腊语:Ἀναξίμανδρος,约前610年-约前546年),米利都人,古希腊哲学家。他是前苏格拉底时期的米利都学派第二代自然哲学家,上承泰勒斯,下启阿那克西美尼。在哲
- 神庙希腊神庙(古希腊语:ὁ ναός,ho naós,“居所”;语义有别于拉丁文templum以及英文“temple”(“神庙、寺庙、庙宇”),也名为希腊神殿。在古希腊宗教中的希腊圣所内是为安座众神神
- ResearchGateResearchGate(researchgate.net)是一个被戏称为“科学研究的脸谱(facebook for research)”的社交网络服务网站,于2008年5月上线。创办人为Ijad Madisch博士、Soeren Hofmayer与H
- 塞维索事件塞维索事件为发生于1976年7月10日12时37分的工业事故,位于意大利伦巴第大区米兰北方约20公里的小型化学工厂,为史上最严重的2,3,7,8-四氯双苯-p-戴奥辛(TCDD)污染事件。1976年时