亚结构逻辑

✍ dations ◷ 2025-11-30 20:12:56 #亚结构逻辑

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

相关

硝化螺旋菌门硝化螺旋菌门（Nitrospira）是一类革兰氏阴性细菌。其中的硝化螺旋菌属（Nitrospira）作为硝化细菌（Nitrifier），可将亚硝酸盐氧化成硝酸盐。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药
行政院国家科学委员会科技部是中华民国有关科学技术发展的最高主管机关。负责推动国家科技发展、支援学术研究、发展科学工业园区、管理行政院国家科学技术发展基金，以及技术审查各部会科技计划可
哮吼哮吼（Croup），又称咽喉气管支气管炎（laryngotracheobronchitis）为一种呼吸道感染症，通常是由病毒感染所诱发。感染会引致气管内肿胀，并影响正常呼吸，而导致咳嗽会类似狗吠声，其他症状
磺胺二甲异嘧啶磺胺二甲异嘧啶是一种磺胺类药物，其INN名称是“Sulfisomidine”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期尚不明确。20世纪50年代，曾对该药物治
现实现实（拉丁语：Realitas）在日常应用时意味着“客观存在的事物”或“合于客观情况的条件”。现实是所有实际事物或是存在事物的总和，和全然想像虚构的事物相反。现实一词也常用来表
非凡电视台飞凡传播股份有限公司（英语：Unique Broadcasting Inc），是台湾的一家有线电视台，由黄崧创立经营，主要制作财经相关节目。黄崧早期以新台币三十五万元起家卖书，之后创立非凡电视，靠着
鼠绦虫缩小膜壳绦虫（学名：Hymenolepis diminuta）是一种食源性（英语：Foodborne parasites）寄生虫, 属于绦虫纲圆叶目，可引致膜壳绦虫病（hymenolepiasis）。这种线虫以昆虫作中间宿主，最终会感
喉返神经喉返神经（Recurrent Laryngeal Nerve）是人体第十对脑神经中，迷走神经（Vagus Nerve）的分支，脑神经出现在所有的脊椎动物上，因此在其他种类的脊椎动物身上也具有喉返神经。控制喉部（la
记号记号（sign）是指一个用来代表其他事物的实体或物体。记号可以表示其他事物确定发生或是出现，也可能只是有一定的可能性。自然的记号是指记号和所代表的事物有因果的关系，例如脚印
陆陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧