亚结构逻辑

✍ dations ◷ 2025-11-17 21:32:29 #亚结构逻辑

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

相关

头孢克肟头孢克肟（Cefixime）是一种口服的第三代头孢菌素抗生素，通常用于治疗淋病、扁桃腺炎和咽炎。常用剂量为400毫克。头孢克肟在美国以“Suprax”的名称发售，直到2003年，当它的专利失
核碎裂核破裂（核碎裂，英语：Karyorrhexis）是垂死细胞的核的破坏性碎片化，染色质不规则地散布在细胞质内。经常在固缩之后发生，核破裂之后会发生核溶解，都可能是细胞程序性死亡和坏死的结果
狼疮性肾炎狼疮肾炎(Lupus nephritis)是红斑性狼疮(SLE)造成的肾脏炎症，属于一种免疫系统的疾病。除了肾脏，SLE也会损害皮肤、关节、神经系统和在体内的几乎任何器官或系统。狼疮的一般
美国山区美国山区（Mountain States）是美国人口调查局的九个官方分区之一，也是美国西部的一部分。美国山区一般分为两个部分，西北部包括了爱达荷州、蒙大拿州、怀俄明州，西南部则包括了亚
营养医学营养医学是一门比较新的学问，整合了医学及临床营养，研究营养素与疾病预防治疗的关连。营养医学补充品又被称为机能性食品（英语：Functional Foods）。
水蒸气水蒸气（也称氛气、蒸汽），是水（H2O）的气体形式。当水达到沸点时，水就变成水蒸气。水蒸气在空气中是无色的。在海平面一标准大气压下，水的沸点为100°C或212°F或373.15K。当水在沸点
保加利亚第一帝国奥德里西亚前460年–46年罗马时期 46年–681年旧大保加利亚 632年–668年第一帝国 681年–1018年拜占庭保加利亚 1018年–1185年第二帝国 1185年–1396年奥斯曼帝国统治 13
颌颚（英语：Jaw），在解剖学中，指在嘴部入口处相对的铰接式结构，最常见的用途是用来进食与咀嚼食物。在大多数的动物身上，都拥有这个解剖结构。在人体解剖学中，又称颌，指嘴部的上下骨骼与
语文学语文学（英语：Philology，全称语言文字学，又称文献学），是语言学的一个分支，有时作为历史语言学（英语：Historical Linguistics）的同义词, 偏重从文献角度研究语言和文字。汉语语文学一般
电灯电灯或称电火，是人造光源之一，是种将电能转化为光能的设备，用于指示或者照明。其中，用电流把常常以钨制成的灯丝加热到白炽状态后用来发光的灯叫白炽灯。灯泡内填充了卤素和惰性