亚结构逻辑

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

相关

  • 血清型血清型是指病毒和细菌中特定不同的亚种。这些微生物一般都由细胞表层的抗原来分类命名的。但是在同一种类的微生物里也会有分支和不同。血清型的决定是由很多种类的因素而形
  • 维生素E维生素E(英语:Vitamin E)是一种脂溶性维生素,是最主要的抗氧化剂之一。溶于脂肪和乙醇等有机溶剂中,不溶于水,对热、酸稳定,对碱不稳定,对氧敏感,对热不敏感,但油炸时维生素E活性明显
  • 虫霉菌目虫霉目(学名:Entomophthorales)亦作虫霉菌目,是真菌界的一个目,原本属于接合菌门,近期分类地位多次改动,许多研究者将其独立成一个门。虫霉菌目中大部分的种对昆虫有致病力,其中一些
  • 埃索美拉唑埃索美拉唑(英语:Esomeprazole)是氢离子泵阻断剂,商品名为耐适恩(英语:Nexium);由阿斯利康研发并在瑞典上市。用于治疗消化不良、消化性溃疡、胃食管反流病及柔林格症候群(Zolli
  • 前列腺前列腺'(英语:prostate,又称摄护腺)为雄性哺乳动物生殖系统中的一个器官,属外分泌腺。与女性的斯基恩氏腺同源。前列腺是雄性哺乳动物生殖系统中的一个器官,属外分泌腺。在解剖学
  • ChemSpiderChemspider是一个网络化学数据库。它试运行于2007年3月,并于一年后的2008年3月正式发布。 ChemSpider数据库记录了超过两千万的分子,与其他传统化学数据库不同的地方在于,它通
  • 氢化可的松皮质醇(法语:cortisol),又译成可的松(音译),属于肾上腺分泌的肾上腺皮质激素之中的糖皮质激素,在应付压力中扮演重要角色,故又被称为“压力荷尔蒙”。皮质醇会提高血压、血糖水平和产
  • 毒蝇鹅膏菌毒蝇伞(学名:Amanita muscaria)又称毒蝇鹅膏菌,为一种含神经性毒害的担子菌门真菌,分类上为鹅膏菌科鹅膏菌属的物种。毒蝇伞的生长环境遍及北半球温带和极地地区,且也无意间拓展到
  • 短肠症候群短肠症候群(简称SBS)是由于小肠较短,功能较弱所引起的吸收异常(英语:Malabsorption)。主要症状是腹泻,其可导致脱水,营养不良和体重减轻。其他症状可能包括腹胀,胃灼热,感觉疲倦,乳糖不
  • 工作贫穷工作贫穷(英语:Working poor),又称在职贫穷、穷忙族、薪贫族、勤劳贫困阶级、工作贫困阶级,是指拥有固定工作但相对贫穷(例如收入低于特定贫穷线)的人士。有别于失业者,他们虽然有得