首页 >
亚结构逻辑
✍ dations ◷ 2025-04-04 11:22:39 #亚结构逻辑
在数理逻辑中,特别是联合上证明论的时候,一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用:结构规则的概念是基于相继式(sequent)表达,而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。在相继式演算中,你可以把证明的每一行写为这里的结构规则是重写相继式左手端的Γ的规则,Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式:我们希望把相继式符号读做这里我们把右手端的Σ采纳为一个单一的命题C(这是直觉主义风格的相继式);但是所有的东西都同样的适用于一般情况,因为所有的操作都发生在十字转门(turnstile)符号的左边。因为合取是交换性和结合性的操作,相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如演绎自还有对应于合取特性的幂等性和单调性的进一步的结构规则:从我们可以演绎出还有从我们可以演绎出,对于任何B,在线性逻辑中有重复的假设(hypothese)'被认为'不同于单一的出现,它排除了这两个规则。而相干逻辑只排除后者的规则,因为B明显的与结论无关。这些是结构规则的基本例子。在应用到常规命题演算的时候,这些规则是没有任何争议的。它们自然的出现于证明理论中,并在那里被首次注意到(在获得一个名字之前)。
相关
- 新型隐球菌新型隐球菌(学名:Cryptococcus neoformans)是一种普遍存在的酵母菌,属于担子菌门银耳纲,常在鸽子的粪便中被发现。新型隐球菌会对人类造成伺机性感染,即对健康的人没有感染力,但会
- 调节体温调节(thermoregulation),指温度感受器接受体内和外在环境温度的刺激,通过体温调节中枢的活动,引起内分泌腺、骨骼肌、皮肤血管和汗腺等组织和器官活动的改变使人体体温维持恒
- 麦角固醇麦角固醇(英语:Ergosterol,又称为麦角甾醇)是从真菌类酵母与麦角菌中发现的一种植物固醇。在紫外线照射下可被转化为维生素D2。它是酵母和真菌细胞膜的组成部分,功能与动物细胞膜
- 内源内源性物质(英语:Endogenous substances)是体内代谢中产生的活性物质及最终产物,比如NH3、胺类、激素、胆色素、神经递质等都可以称为内源性物质。
- 全球共享流感数据倡议组织全球共享流感数据倡议组织(英语:GISAID Initiative,简称 GISAID),建立于2008年5月,是由全世界一些较权威的医学科学家组建,致力于改善流感数据的共享。共有包括7位诺贝尔奖得主在内
- 空鼻症候群空鼻症候群,简称空鼻症,(英语:Empty Nose Syndrome,缩写:ENS),在耳鼻喉科学中指的是通过鼻甲切除术(英语:Turbinate reduction surgery)过度切除鼻甲(英语:turbinate)(通常为下鼻甲)后所造成
- 爱斯基摩-阿留申语系爱斯基摩-阿留申语系是一个位于阿拉斯加、加拿大北部、努纳维克、努纳武特、格陵兰岛、西伯利亚东部楚科奇半岛的语系。该语系分为两个部分,分别为爱斯基摩语族、阿留申语族。
- 假名假名可以指:
- 被字句被字句,又称被动式,是汉语中一种被动式动词谓语句,句中的主语是动词施动的对象。被字句有两种基本形式:如果句子有宾语的话(即第一种形式),则宾语是施动者。值得注意的是,汉语中使用
- 包含式包含式(clusivity)在语言学上是指介于包容性与排除'的第一人称代词及动词之间的语法区分,亦称为包容性的"我们"及排除性的"我们"。包容性的"我们"具体包括"谈话的对象"(addresse