亚结构逻辑

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

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

相关

趋性趋性（英语：taxis，或称为趋向性）是一生物(或细胞)天生的行为反应，指其对一指向性刺激(由特定方向给的刺激)，而会有趋进(正趋性)或远离(负趋性)刺激源的动作。趋性和向性不同，生物的
同义词同义词（synonym）或者更学术性的称呼同义异形是世界上各种语言都存在的一种现象。它指的是表达的意义相同或相近，但是表达形式不同的词汇。例如厕所和“茅房”就是不同词汇表示
信息学信息学，旧称情报学（日本人翻译），主要是指以信息为研究对象，利用计算机及其程序设计等技术为研究工具来分析问题、解决问题的学问，是以扩展人类的信息功能为主要目标的一门综合性学
烦躁烦躁（英语：Dysphoria），一种正常的人类内在情绪，心中烦闷不安，急躁易怒，甚则手足动作及行为举止躁动不宁的表现。它通常起源于对现在状况的不满，或与对未来的期望。因为有意识的思考，
神经冲动动作电位（英文：action potential），指的是静止膜电位状态的细胞膜受到适当刺激而产生的，短暂而有特殊波形的跨膜电位搏动。细胞产生动作电位的能力被称为兴奋性，有这种能力的细胞如
肝素肝素（Heparin），也称为普通肝素，是一种天然糖胺聚糖抗凝血剂，可用来治疗及预防深静脉血栓、肺栓塞、动脉栓塞，也可用于治疗心肌梗塞以及不稳定型心绞痛。通常以静脉注射方式给药，也
近接放射治疗近距离治疗（取自希腊语“brachys”一词，意思是“短距离”），也称作内照射放疗、密封源式放射治疗、镭疗法或内部镭疗法，是放射治疗的一种形式，即将放射源放置于需要治疗的部位内部
恶性上皮细胞肿瘤癌（Carcinoma），有翻译为恶性上皮细胞肿瘤，是癌症的一种。在医学上专指由上皮组织来源的恶性肿瘤，其它由结缔组织来源的恶性肿瘤只称作恶性肿瘤，如：肌肉或骨骼的恶性肉瘤（Sarcoma）、黑
视神经视神经（Optic nerve）是十二对脑神经中的第二对，编号II，始于眼球的视网膜，穿过视神经管入脑，传导视觉冲动。视神经是十二对脑神经中的第二对。然而，由于它起源于胚胎时期的间脑外翻，
苗语族苗语支是组成苗瑶语系的两个语支之一。分布于中国的广西、云南、贵州、广东、四川、湖南，以及中南半岛的越南、老挝、泰国、缅甸的北部。说苗语支语言的人大约650万人。苗语