亚结构逻辑

✍ dations ◷ 2025-01-22 21:40:06 #亚结构逻辑

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

相关

病理生理学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学病态生理学是一门相对比较新的医学科
多尿症多尿症（英文：Polyuria）是指在一定时间内，所排出的尿量比普通人高。如果饮水量为2000毫升，正常人的尿量介于800毫升－2000毫升。如果所排出的尿量在一天内高于2500毫升，便是多尿症。
东岸美国东岸，或称为大西洋海岸，是指美国的最东部的海岸地区，东向面临大西洋，北边为加拿大，南边为墨西哥湾。此区域通常包括以前北美十三殖民地的范围，现在则由北到南包括缅因州、新罕
心血管绕道手术冠状动脉旁路移植（英语：Coronary artery bypass graft，常缩写为CABG）或心脏绕道手术，俗称冠脉搭桥或搭桥，即冠状动脉旁路移植术，是一项缓解心绞痛和减少冠心病死亡风险的手术。搭桥
索福克勒斯索福克勒斯（古希腊语：Σοφοκλῆς，前496年/前497年－前405年/前406年），古希腊剧作家，古希腊悲剧的代表人物之一，和埃斯库罗斯、欧里庇得斯并称古希腊三大悲剧诗人，他的第一部作品
萨贡托萨贡托（Sagunto）是一座西班牙东部城市，位于瓦伦西亚省，距其省会城市瓦伦西亚约30公里。城市处于丘陵地带，也是一座海岸城市。2008年人口总计65,821。约在公元前五世纪时，西班牙的
正电子发射电脑断层扫描正电子发射计算机断层扫描（英语：Positron emission tomography，简称PET）是一种核医学临床检查的成像技术。PET技术是当前唯一的用解剖形态方式进行功能、代谢和受体显像的技术，具
牙髓牙髓是单个牙齿内部的软组织，包括神经、动脉、静脉和淋巴管。位于牙釉质以下的牙本质内部，主要位于牙髓腔内，向下通过一根或多根根管与牙槽骨内的组织相连。可分为牙髓周边区(p
突变原突变原（英语：Mutagen，又译致变原、致突变原、致突变剂或诱变剂等）是指一些能使生物体内的遗传讯息（通常是脱氧核糖核酸）发生变化的物理或化学因子。生物若处于这些因子的作用下，发
冬天冬季是部分地区一年四季中的第四季，由于天气转冷（赤道地区除外），在很多地区都意味着沉寂和冷清。生物在寒冷来袭的时候会减少生命活动，很多植物会落叶，动物会休眠，有的称作冬眠。候