亚结构逻辑

✍ dations ◷ 2025-11-20 07:18:36 #亚结构逻辑

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

相关

AAT艺术与建筑索引典（英语：Art & Architecture Thesaurus，AAT）是一个用来描述关于艺术、建筑和物质文化项目的受控词表。AAT收录各种通用术语，如“大教堂”，但不收录专有名词，如“圣母
C-反应蛋白n/an/an/an/an/an/an/an/an/an/aC反应蛋白（英语：C-Reactive Protein，CRP）是由肝脏生成的血浆蛋白，主要被当作发炎的指标。LOINC术语标准对于血清/血浆CRP检测项目的定义和编码请
酸碱平衡酸度系数（英语：Acid dissociation constant，又名酸解离常数，代号Ka、pKa、pKa值），在化学及生物化学中，是指一个特定的平衡常数，以代表一种酸解离氢离子的能力。该平衡状况是指由一种
X射线断层成像计算机断层成像（Computed Tomography，简称CT），是一种影像诊断学的检查。这一技术曾被称为计算机轴向断层成像（Computed Axial Tomography）。X射线计算机断层成像（X-Ray Computed To
艰难梭菌艰难梭菌（Clostridium difficile），又称难辨梭菌、难辨棱状芽孢杆菌（c-diff）或困难梭菌，属厌氧性梭菌属细菌，一般寄生在人的肠道内。厌氧性细菌是指那些在无氧条件下要比在有氧环境
严重急性呼吸道综合征冠状病毒2型相关条目此条目列出有关严重急性呼吸系统综合症冠状病毒2型的相关页面，以方便阅览相关条目。引用错误：页面中存在<ref group="註">标签，但没有找到相应的<references group="註" />
心脏神经官能症心脏神经官能症（Cardiac neurosis）也称为达科斯塔综合征（Da Costa's syndrome）是一种症状类似心血管疾病的症候群，其特点是理学检查检查结果都正常。以现代的观点，心脏神经官能症
小舌悬雍垂（palatine uvula，又名腭垂，俗称“小舌”、“吊钟”）是人体口腔器官，悬挂于软颚正中间的末端。悬雍垂的功能是在饮食时上升堵住食物通过鼻腔进入气管的通道，从而使食物进入食
语法范畴语法范畴（Grammatical category），也称语法特征（Grammatical feature），是指通过句法或形态上的特征对各种语法意义的归类。语法范畴可以定义为通过句法或形态上的语法特征对各种语
经典逻辑经典逻辑（英语：Classical logic），又称古典逻辑，标识已经被最深入的研究和最广泛的使用的一类形式逻辑，也被称为标准逻辑（standard logic）。经典逻辑被特征化为一些性质，非经典逻辑缺