亚结构逻辑

✍ dations ◷ 2025-11-22 03:22:22 #亚结构逻辑

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

相关

血管紧张素Ⅱ受体拮抗剂血管紧张素II受体拮抗剂（Angiotensin II receptor antagonist），也被称为血管紧张素受体阻滞剂（angiotensin receptor blockers, ARBs)或AT1受体拮抗剂，是一类作用于肾素-血管紧张
兼性厌氧生物兼性厌氧菌是一类既可以进行有氧呼吸，也能够进行无氧呼吸或发酵的微生物。在氧气充足时，它们会通过有氧呼吸来产生ATP（三磷酸腺苷），但当氧气缺乏时，它们的呼吸方式就会变为无氧呼
中风 (中医)中风，中医学术语，中医认为这是外感风邪侵犯人体之后所造成的病证。因为“风者，擅行而数变”，有许多症状都被归类在中风之下，但最主要的，有两个意义，一是指因脑血管阻塞、出血而造成
汉氏巴尔通体汉氏巴尔通体（Bartonella henselae）是一种常见的、可导致猫抓病的真细菌，属于巴尔通体属。该细菌通过三聚体自身转运蛋白粘附素（英语：trimeric autotransporter adhesin）与宿主细
死亡细胞死亡（Cell death）是描述生物细胞永久中止运作生理功能的状态。细胞死亡可能起因于个体计划性的细胞死亡，或是因疾病或创伤导致细胞不可逆的损伤而死亡。Category:Medical a
菇类蕈类（注音：ㄒㄩㄣˋㄌㄟˋ；拼音：xùn lèi），通称蘑菇、菇类，是大型、高等的真菌，子实体通常肉眼可见。菌丝具横隔壁，将菌丝分隔成多细胞。不过，蘑菇一词通常是对蘑菇属（Agaricus）部分食
β-tgβ-血小板球蛋白（β-血小板球蛋白，也称为Pro-Platelet碱性蛋白）是存储在血小板的α-颗粒中并在血小板激活后大量释放的蛋白。它是一种趋化因子（C-X-C基序）配体7的蛋白异型体。他
子宫内膜异位症子宫内膜异位症（Endometriosis）属于妇科疾病，指的是本当存在于子宫内的内膜组织却在子宫外的其他地方生长，多数会在卵巢、输卵管以及子宫附近的组织，少数的情况也可能发生在身体
糊精糊精（dextrin、pyrodextrin）是淀粉的不完全水解产物，有固定的分子通式，但是碳链长短不一定相同。一般工业上是由马铃薯淀粉的酸水解制得。糊精在肠道内有利于嗜酸杆菌生长，能减
昭和昭和（日语：昭和／しょうわ Shōwa */?）是日本昭和天皇在位时所使用的年号，使用时间为1926年12月25日至1989年1月7日，是日本各年号中使用时间最长的，合共64年；但由于开始时是年底、