首页 >
亚结构逻辑
✍ dations ◷ 2025-04-03 16:55:36 #亚结构逻辑
在数理逻辑中,特别是联合上证明论的时候,一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用:结构规则的概念是基于相继式(sequent)表达,而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。在相继式演算中,你可以把证明的每一行写为这里的结构规则是重写相继式左手端的Γ的规则,Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式:我们希望把相继式符号读做这里我们把右手端的Σ采纳为一个单一的命题C(这是直觉主义风格的相继式);但是所有的东西都同样的适用于一般情况,因为所有的操作都发生在十字转门(turnstile)符号的左边。因为合取是交换性和结合性的操作,相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如演绎自还有对应于合取特性的幂等性和单调性的进一步的结构规则:从我们可以演绎出还有从我们可以演绎出,对于任何B,在线性逻辑中有重复的假设(hypothese)'被认为'不同于单一的出现,它排除了这两个规则。而相干逻辑只排除后者的规则,因为B明显的与结论无关。这些是结构规则的基本例子。在应用到常规命题演算的时候,这些规则是没有任何争议的。它们自然的出现于证明理论中,并在那里被首次注意到(在获得一个名字之前)。
相关
- 汗腺疾病以下为皮肤疾病一览表:备注:【】内为俗称;若有别名,以 "/" 分别之。
- 泌尿外科学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学泌尿外科是专门研究男女泌尿系统与男
- 肾上腺哺乳类动物中,肾上腺是呈三角形的内分泌腺体,位于肾脏上方,因而得名。其主要功能为通过合成皮质类甾醇和邻苯二酚胺(例如皮质醇和肾上腺素)来调控身体对压力产生的反应。人体中,肾
- 系统发生树系统发生树(英语:phylogenetic tree)又称演化树或进化树(evolutionary tree),是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法(cladogram)。在图中,每
- Є寒武纪(Cambrian,符号Ꞓ)是显生宙的开始,距今约541百万年前—485.4百万年前。其名称来自于英国威尔士的一个古代地名罗马名称“Cambria”,该地的寒武纪地层被最早研究。中文名称
- A50–A64ICD-10 第一章:某些传染病和寄生虫病,主要包括被视为具有可传播性和可传染性的疾病。肠道传染病(A00-A09)结核病(A15-A19)由特定动物传染的细菌性疾病(A20-A28)其他细菌性疾病(A30-A4
- 时区美国时区是覆盖美国及其属地九个时区的总称,配以由联邦及地区立法制订的夏令时法规使用。美国时区由《美国法典》第15章(Title 15 of the United States Code)第260节规定,时区
- 指头的骨头趾骨(英语:phalanges,或Phalanx bone)或指骨是大多数脊椎动物手、脚指头处的骨骼。在灵长类动物身上,拇指(拇趾)通常有两节趾骨,而其余指头(趾头)则有三节。趾骨被归类为长骨(英语:long
- 分析心理学异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 演化心理学 实验心理学
- 鸭嘴兽鸭嘴兽(学名:Ornithorhynchus anatinus;英语:Platypus,偶称Duck-billed platypus)是原兽亚纲单孔目鸭嘴兽科鸭嘴兽属(Ornithorhynchus)的唯一一种动物。鸭嘴兽是少有的卵生哺乳动物,