亚结构逻辑

✍ dations ◷ 2025-11-29 05:23:19 #亚结构逻辑

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

相关

心电图心电图（Electrocardiography、ECG 或者 EKG）是一种经胸腔的以时间为单位记录心脏的电生理活动，并通过皮肤上的电极捕捉并记录下来的诊疗技术。这是一种无创性的记录方式。Elect
临床试验临床试验（英语：Clinical trial）是一种根据研究方案利用已上市药物或安慰剂作为对照组的方式，对药物或其他医学治疗在受试者身上进行比较测试的过程。在临床试验中，研究者要先决定
盆腔炎骨盆腔发炎（Pelvic inflammatory disease，PID）也称为盆腔炎，指的是女性子宫或输卵管受到感染的情形，有些定义也包含卵巢感染。骨盆腔发炎时常无明显的症状可能病征有下腹痛、阴道
几丁质甲壳素（英语：Chitin，IPA:/ˈkaɪtᵻn/ KY-tin），分子结构“(C8H13O5N)n”，又名“几丁质”、“几丁聚糖”、“几丁寡糖”、“甲壳质”或“壳多糖”，是一种含氮的多糖类物质，为虾、蟹、
郎格罕细胞朗格汉斯细胞(又称兰氏细胞)是在皮肤和黏膜的树状细胞（抗原呈递细胞），其中含有称作伯贝克颗粒（英语：Birbeck granules）的胞器，在上皮中的任何一层都有朗格汉斯细胞，不过主要是在棘状
水污染事故列表水污染中国各地数条河流发生严重工业污染
开放阅读框架开放阅读框（英语：Open reading frame；缩写：ORF；其他译名：开放阅读框架、开放读架等）是指在给定的阅读框架中，不包含终止密码子的一串序列。这段序列是生物个体的基因组中，可能作为蛋
规律规律，又叫法则，马克思主义对此范畴的定义及定性如下：规律是事物、现象和过程内在的、本质的必然的联系，具有客观性和普遍性，不依人的意志为转移，人们不能创造改变和消灭规律，只能认
胎盘瘤绒毛膜癌（英语：Choriocarcinoma）是一种恶性的、位于滋养层的癌症，通常见于胎盘。它属于妊娠滋养细胞疾病的癌症晚期情况，也属于生殖细胞瘤，并且病发于睾丸或卵巢中。主要特征是与
数学哲学数学哲学是哲学的一个分支，研究数学中的哲学问题的学科。从毕达哥拉斯到康德的众多思想家都有许多数学哲学的重要思想，但作为专门学科直到十九世纪中叶以后才逐渐建立起来。着