亚结构逻辑

✍ dations ◷ 2025-11-28 15:33:17 #亚结构逻辑

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

相关

诊断诊断，在医学意义上指对人体生理或精神疾病及其病理原因所作的判断。作出这种判断一般需要的的资料有：医生等专业人员根据症状、病史（包括家庭病史）、病历及医疗检查结果等。其概
夫西地酸夫西地酸（英语：Fusidic acid）是一种甾类抗生素，通常局部用于面霜和眼药水，也可作为片剂或注射剂全身使用。在全球范围内，细菌抗生素抗药性的提高引起了人们对其使用的新兴趣。多可
人口增长率人口自然增长率指一定时期内人口自然增长数（出生人数减死亡人数）与该时期内平均人口数之比，通常以年为单位计算，用千分比来表示，计算公式为：人口自然增长率＝（年内出生人数－年内死
立氏立克次体立氏立克次体（英语：Rickettsia rickettsii），一种单细胞、革兰氏阴性的立克次体，是落矶山斑点热的病原体，原生于美洲。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、
阴虱/阴蟹Pediculus pubis Linnaeus, 1758阴虱（Pthirus pubis）是一种寄生于人体毛发的寄生虫，长约1至3毫米，无翼。因常见于阴部，故称阴虱。另外，由于阴虱身体扁平，远看如同皮屑，细看则如同小
鸟胺酸鸟氨酸（英语：Ornithine）是一种α-氨基酸，其结构为NH2-CH2-CH2-CH2-CHNH2-COOH。鸟氨酸是精氨酸酶在催化精氨酸产生尿素时同时产生。因此，鸟氨酸是尿素循环的中央部分，以排出多余的
阿洛糖阿洛糖是一种己糖，是一种罕见的单糖，分离自非洲灌木川斯华海神花（Protea rubropilosa）的叶子。化学式为CH2OH(CHOH)4CHO，可溶于水但几乎不溶于甲醇。阿洛糖是葡萄糖的C-3差向异构
神秘主义神秘主义（英语：Mysticism），也有较模糊的称为密契主义，包涵人类与神明或某种超自然力量结合为一的各种形式、经验、体验，并且强调这是一切宗教共有的现象。神秘主义者的基本信条是
罗慕路斯·奥古斯都罗慕路斯·奥古斯都路斯（Romulus Augustulus，约463年－480年），或称罗慕路斯·奥古斯都（Romulus Augustus），全名弗拉维乌斯·罗慕路斯·奥古斯都（Flavius Romulus Augustus），西罗马帝国的
喉入口喉入口（laryngeal inlet、laryngeal aditus、laryngeal aperture）是连接咽部及喉部的开口处。其边界由以下三方形成：喉部，咽部和舌头的深层解剖、后视图。喉部，咽部和舌头的深层