亚结构逻辑

✍ dations ◷ 2025-11-23 15:02:13 #亚结构逻辑

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

相关

葡萄膜炎虹彩炎，是葡萄膜炎的一种，是一种虹膜以及睫状体的急性发炎的眼疾。发病原因至今不甚清楚，主要是自体免疫系统的问题，很有可能是自发性或反应性关节炎。临床症状上，常会有眼睛红、
尸体现象尸体现象（postmortem phenomena）在法医学上是指人死亡后尸体的各器官、组织、细胞的生命活动停止并受到内外环境各种因素的作用而发生的一系列特殊变化。按照死后的时间，可以把
食肉真菌食肉真菌（英语：Carnivorous fungi），亦作肉食性真菌或捕食性真菌（predaceous fungi），是真菌的一种，透过捕捉和消化微细的或细小的动物而转化成其部分或全部养份。现时已被描述的物种
性工作者性工作者有两重意思：狭义的性工作者是指为不特定对象提供性服务以获得报酬的人；广义的性工作者则包含在色情产业中表演性行为的人，例如女性色情片演员。人们从事性工作的原因是
生态经济学生态经济学是一个跨学科的学术研究领域，旨在了解在不同时间和空间下，人类经济与自然生态间的共同演化和互相依存的关系。有别于环境经济学，环境经济学是对环境的主流经济分析，生
东莨菪碱东莨菪碱（法语、英语：Scopolamine，德语：Scopolamin)，又称左旋-天仙子胺），是一种莨菪烷生物碱药物，具有毒蕈碱受体拮抗剂作用。东莨菪碱通过在毒蕈碱乙酰胆碱受体，充当竞争性拮抗剂发
皮质酮皮质酮（英语：Corticosterone，11β,21-二羟基孕烯-3,20-二酮）是一种糖皮质激素类二十一碳甾体激素，由肾上腺的皮质产生出来。类固醇生成（繁体）类固醇生成（简体）脱氧皮质酮醛固酮羊毛甾
自由大宪章《大宪章》（拉丁语：Magna Carta，英语：The Great Charter），又称作《自由大宪章》（拉丁语：Magna Carta Libertatum；英语：The Great Charter of the Liberties）是英格兰国王约翰最初于1215
苏丹黑B苏丹黑B（C29H24N6）是一种重氮脂肪染色剂，用于染中性的脂质冰冻切片和一些脂蛋白的石蜡切片。正常情况下为黑褐色或黑色粉末状。苏丹黑B是苏丹染剂之一，可用来提取指纹以及给成髓
胎盘早期剥离胎盘早期剥离（Placental abruption）是指胎盘提早和子宫分离，也就是在分娩前就和子宫分离。胎盘早期剥离最常出现在怀孕25周时。症状包括阴道出血、下腹痛，以及足以造成休克的低