亚结构逻辑

✍ dations ◷ 2025-12-11 01:46:54 #亚结构逻辑

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

相关

微小核糖核酸病毒Enterovirus Rhinovirus Hepatovirus Cardiovirus Apthovirus Parechovirus Erbovirus Kobuvirus Teschovirus微小核糖核酸病毒科（picornaviridae）是没有套膜、正股RNA、正20
性别比性别比（英语：Sex ratio），在生物学中又称性比，是指族群中雄性（男性）对雌性（女性）的比率。在人类中，出生男女的性别比大约为105:100。性别比有以下几个种类：人类可能会无意间影响其他生物
粮食安全粮食安全指的是能够稳定地让所有人取得足够食物的状态。联合国政府间气候变化专业委员会曾于2014年3月31日在日本横滨召开会议时发表了一份报告，报告中指出：“气候变迁正冲击
虫霉目虫霉目（学名：Entomophthorales）亦作虫霉菌目，是真菌界的一个目，原本属于接合菌门，近期分类地位多次改动，许多研究者将其独立成一个门。虫霉菌目中大部分的种对昆虫有致病力，其中一些
磷钼酸磷钼酸（Phosphomolybdic acid）也称为十二钼磷酸，简称PMA，是化学式为H3PMo12O40的黄绿色无机化合物，是一种杂多酸，磷钼酸可溶于水及极性的有机溶剂（例如乙醇）。磷钼酸水合物为黄色固
寓言寓言或寓言故事通常是一篇含有道德教育或者警世智慧的短篇故事，为文学体裁的一种，通常以简洁有趣的故事呈现，常隐含作者对人生的观察和体验，并无字数限制，是一种很古老的文学体裁
颅颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部，并保护脑部。头骨分为两部分：颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨，并未包含下
高半胱氨酸同半胱氨酸（英语：Homocysteine，或称为同型半胱氨酸或高半胱氨酸）是氨基酸半胱氨酸的异构物，在支链部分硫醇基（-SH）前包含一个额外的亚甲基（-CH2-）。同半胱氨酸的额外亚甲基使硫醇基更
鼹鼠鼹鼠一种是适应穴居生活的小型哺乳动物，具有圆柱形身躯、柔软的毛皮、极小的耳目、退化的后腿与短且大的有力前肢用以挖掘土壤。英文当中的“mole”通常指真盲缺大目（英语：Euli
粘著语素规范语素（英语：Bound morpheme）又称不自由语素、黏着语素，在语言学中，指不能独立存在，必须附属于其他语素或词根的语素。与此相对的是自由语素。以英语为例，大多数词缀都是规范语