亚结构逻辑

✍ dations ◷ 2025-12-10 11:05:11 #亚结构逻辑

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

相关

慢性支气管炎支气管炎是肺部支气管（中至大的大小之呼吸道）的发炎。症状包括咳痰、喘鸣、呼吸急促及胸口不适。支气管炎有急性和慢性两种。急性支气管炎的咳嗽症状一般持续三周，逾九成是病毒
腹股沟肉芽肿腹股沟肉芽肿（学名：Granuloma inguinale，亦作donovanosis）是一种由致病细菌克雷伯氏菌属的肉芽肿克雷伯氏菌（英语：Klebsiella granulomatis）（Klebsiella granulomatis（英语：Klebsiella
坏死坏死（英语：Necrosis），又称细胞坏死，被认为是一种由外部或内部物理性因素（例如热力、应力和辐射等）、强碱、强酸及毒物等化学性因素，以及内毒素和病原体等生物性因素诱发的永久性细胞
抗链球菌溶血素 O 滴度抗链球菌溶血素O试验（Anti-streptolysin O），简称ASO试验，是一种毒素和抗毒素的中和试验，用于疑风湿热或急性肾小球肾炎患者。ASO试验是用链球菌溶血素O作为抗原，检测血清中的ASO值
致癌物质致癌物质（英语：Carcinogen）是指任何会直接导致生物体产生癌症的物质，包括化学物质、病毒、放射性核素等。这些物质进入机体后会直接或间接使机体细胞受到损害，导致生物大分子异常
伊丽莎白·安斯康姆伊丽莎白·安斯康姆（Gertrude Elizabeth Margaret Anscombe 1919年3月18日－2001年1月5日），英国著名分析哲学家，师从路德维希·维特根斯坦。功利主义 · 归结主义 · 义务论
肘肘是指手臂中部，连接上臂与前臂的铰链关节——肘关节附近的区域。有三块骨头与肘关节相连：上臂的肱骨、前臂的尺骨和桡骨。肘尖的突出物是尺骨鹰嘴，而肘内部的外表构造称为肘前
雷氏综合征雷伊氏综合征（Reye's syndrome），又称雷氏综合征是会快速进展的脑部疾病（英语：Encephalopathy）。症状包括呕吐、精神混乱、癫痫发作、失去意识（英语：Unconsciousness）。虽然一般也会有
最小对立体最小对立体（minimal pair）在音韵学中，指的是在某个语言中一对字词，这对字词的音韵元素，例如语音、音位、声调、时位（chroneme），只有一处相异，而有不同的词意。这个概念可以用来说明某
独体独体为一种汉字字体的结构，与合体概念相对。指汉字结构中，仅含有一个单独形体、不可分析为两个或两个以上形体的字。其形体结构完整，难以拆解分析其读音或字义。这包含着六书中