亚结构逻辑

✍ dations ◷ 2025-11-16 10:31:19 #亚结构逻辑

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

相关

NCBI国家生物技术信息中心（National Center for Biotechnology Information，简称NCBI）是美国国家医学图书馆（NLM）的一部分（该图书馆是美国国家卫生研究所的一部分）。NCBI位于美国马里兰
骨盆检查骨盆检查（又称骨盆腔检查、盆腔检查、内诊或是妇科检查），为妇产科中最基本的身体检查。其可粗略分为外部的检查和内部的检查两部分，内部检查于英文中又可称作“双手触诊”或是“
拉斯维加斯拉斯维加斯（英语：City of Las Vegas），简称赌城，是美国内华达州人口最多的城市，也是内华达州克拉克县的县治，有着以赌博业为中心庞大的旅游、购物、度假产业，是世界知名的度假地之一
前南斯拉夫问题国际刑事法庭审理起诉1991年起发生于前南斯拉夫地区严重违反国际人道法罪行人物之国际法庭（英语：International Tribunal for the Prosecution of Persons Responsible for Serious Violat
风暴风暴（英语：Storm）指影响环境或天体表面的任何大气扰动，通常会带来恶劣天气（英语：Severe weather）。风暴可能伴随着强风（例如热带气旋）；雷电（例如雷暴）；强降水（例如雪暴）或随风在大气中移动
老年人老年（英语：old age），一般指生物的生命周期一个阶段，即中年到死亡的一段时间不同的文化圈对于老年人有着不同的定义。由于生命的周期是一个渐变的过程，壮年到老年的分界线往往是很
肠胃炭疽病（英语：anthrax）是由炭疽杆菌感染造成的疾病，感染途径包括皮肤接触、呼吸道、消化道以及注射等四种，通常在感染一天至两个月后开始出现症状，经由皮肤接触的感染起初会出现小
21人类的21号染色体是23对染色体的其中之一，正常状况下每个细胞拥有两条。此染色体是所有人类染色体中最小的一个，含有大约4700万个碱基对，占细胞内所有DNA的1.5%。21号染色体的
颞.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
爬行动物爬行纲（学名：Reptilia）动物通称爬行动物、爬行类、爬虫类，是一类脊椎动物，属于四足总纲的羊膜动物，是包括了龟、蛇、蜥蜴、鳄、鸟类及史前恐龙等物种的通称。本分类过去传统上包含