亚结构逻辑

✍ dations ◷ 2025-11-24 06:20:19 #亚结构逻辑

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

相关

NN00-N08 肾小球疾病N10-N16 肾小管、间质疾病N17-N19 肾衰竭N20-N23 尿石病N25-N29 肾和输尿管的其他疾患N30-N39 泌尿系统的其他疾病N40-N51 男性生殖器官疾病N60-N64 乳房
生物修复生物修复（英语：Bioremediation）是一种使用生物体来移除或中和污染现场内污染物的技术。根据美国国家环境保护局的定义，生物修复是一种“使用自然产生的生物体来把有害物质分解成
血管张力素受体抑制剂血管紧张素II受体拮抗剂（Angiotensin II receptor antagonist），也被称为血管紧张素受体阻滞剂（angiotensin receptor blockers, ARBs)或AT1受体拮抗剂，是一类作用于肾素-血管紧张
次级代谢物次级代谢产物（英语：Secondary metabolites，又称为次生代谢物、二代谢物）是不直接涉及到生命正常生长、发育或繁殖的有机化合物。不像初级代谢产物，缺少次级代谢产物不会导致立即
微小纺锤形噬菌体科微小纺锤形噬菌体科（Fuselloviridae）是双链DNA病毒中的一个科，该类病毒外观呈纺锤状，主要感染于古细菌。下有一属：代表种：
生物放大作用生物放大作用（英语：Biomagnification），也叫生物富集作用。一般指的是自然环境中的有毒害的物质含量沿生物链在各级生物体内逐渐递增的现象。例如DDT或汞的浓度沿生物链的递增。
雨天雨部，为汉字索引中的部首之一，康熙字典214个部首中的第一百七十三个（八划的则为第七个）。就繁体和简体中文中，雨部归于八划部首。雨部只以上方为部字。且无其他部首可用者将部首
幽门管幽门（pylorus）是胃和十二指肠的连接口，包含幽门窦（pyloric antrum）和幽门管（pyloric canal）两个部分。幽门括约肌（pyloric sphincter）在幽门管末端，可以控制食物从胃进入十二指肠的过
摩尔多瓦摩尔多瓦国家图书馆（罗马尼亚语：Biblioteca Naţională a Republicii Moldova）是摩尔多瓦的国家图书馆，于1832年8月22日建立于基希讷乌。其藏书量超过300万，是国内最大的图书馆
分析哲学分析哲学（英语：analytic philosophy或analytical philosophy）可包含两个意思：一个是指20世纪初期出现的，具有特定目的和方法的哲学研究。另外它还指当今研究哲学的一种“风格”或