亚结构逻辑

✍ dations ◷ 2025-11-21 14:17:20 #亚结构逻辑

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

相关

艾滋病毒人类免疫缺陷病毒（英语：human immunodeficiency virus，簡稱HIV，又称艾滋病毒）是一种感染人类免疫系统细胞的慢病毒，属逆转录病毒的一种。普遍认为，人类免疫缺陷病毒的感染导致艾滋
血管舒张血管舒张是指在血管壁的平滑肌松弛下，令体内血管扩阔的情况。由于空间增大让血液流过，这会降低了血压。它的相反过程称为血管收缩。血管舒张可以自然产生或经由血管舒张剂引起
立百病毒亨尼巴病毒属（学名：Henipavirus），包括尼帕病毒（又译尼巴病毒、立百病毒）（Nipah virus）和亨德拉病毒（Hendra Virus，HeV）。1999年于东南亚被发现的会引发立百脑炎的新型病毒，也会造成人类
拉丁美洲拉丁美洲，简称拉美，是美洲的一部分，狭义上包括了以拉丁语族（也称罗曼语族，主要是西班牙语、葡萄牙语和法语）语言为官方语言的美洲国家和地区；广义上包括了美国以南的全部美洲国家与
得克萨斯州得克萨斯州（英语：State of Texas，/ˈtɛksəs/，当地 /ˈtɛksɪz/），简称得州或德州，是全美国土地面积和人口的第二大州（面积仅次于阿拉斯加州；人口次于加利福尼亚州）。得克萨斯州位于
犹太-摩洛哥语犹太-摩洛哥语(希伯来语:מרוקאית יהודית)是由原先居住在摩洛哥的犹太人发展而出的阿拉伯语一个形式，目前大多数使用该语言的人都在以色列和法国，而少部分留在摩
肠胃炭疽病（英语：anthrax）是由炭疽杆菌感染造成的疾病，感染途径包括皮肤接触、呼吸道、消化道以及注射等四种，通常在感染一天至两个月后开始出现症状，经由皮肤接触的感染起初会出现小
二氧化铅二氧化铅或过氧化铅，化学式PbO2，常温时为棕色结晶或粉末，几乎不溶于水，有强氧化性。二氧化铅可由四氧化三铅与硝酸作用而得。反应式：二氧化铅受热分解：由于6s2惰性电子对效应，二氧
记号记号（sign）是指一个用来代表其他事物的实体或物体。记号可以表示其他事物确定发生或是出现，也可能只是有一定的可能性。自然的记号是指记号和所代表的事物有因果的关系，例如脚印
与厕所相关的伤害或死亡有史以来，在众多的都市传奇中都存在与马桶有关的创伤与死亡事件。对于小男孩来说，最常见的生殖器创伤发生在他们站在马桶前而马桶圈掉落下来的情况下。更小的孩子如果头部先