亚结构逻辑

✍ dations ◷ 2025-12-09 01:50:03 #亚结构逻辑

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

相关

多食症多食症（英语：polyphagia或hyperphagia），也作食欲过旺，是指极度的饥饿或食欲的增加。在医学中，多食症是一个医学征象，暗示着极度的饥饿饥饿状态，以及反常的固体食用，可由糖尿病、克莱
避孕药避孕药，全称口服避孕药，通常是指一类给女性服用用于生育控制的药物。男用口服避孕药正在研究中，尚未商品化。有两种广泛使用的女用口服避孕药：另外还有事后使用的紧急避孕药:其
晒伤晒伤是一种由于过度暴露于紫外线（通常为日光）下导致的射线烧伤。它促进细胞凋亡，引起的症状为皮肤发红、发痛，在少数极端案例中会导致生命危险，而轻度暴露于紫外线下则只会导致晒
穆达汉府穆达汉府（泰语：จังหวัดมุกดาหาร，皇家转写：Changwat Mukdahan，泰语发音：），一译莫拉限府、莫那限府，是泰国东北部依善地区的一个府，与他相邻的府（顺时针）为：安纳乍伦府、益
智能设计论智能设计论（英语：Intelligent design，简称智设论、ID）是对神的存在的宗教性逻辑论证。尽管支持者认为智能设计论是一个“关于生命起源的科学理论”，但其已遭主流科学界视为伪科学
威拉德·冯·奥曼·蒯因威拉德·范奥曼·蒯因（英语：Willard Van Orman Quine，1908年6月25日－2000年12月25日），20世纪最有影响的美国哲学家、逻辑学家之一。出生于俄亥俄州阿克伦的富裕家庭，其父为一成功的
利润利润或获利指的可能是：
性欲减退性欲，指对性的渴望。一般科学家认为，性欲是一种本能欲望，对于繁殖下一代有利。至于对大多数动物而言，性欲只存在于发情期时，而动物的发情期通常都是季节性的（例如春天）。对于某些宗
员工餐饮员工餐饮，是指公司、机关向员工供应的餐饮。可分为数种形式。
阿尔巴尼亚阿尔巴尼亚国家图书馆（阿尔巴尼亚语：Biblioteka Kombëtare e Shqipërisë）是阿尔巴尼亚的国家图书馆，是该国最古老的文化机构之一。阿尔巴尼亚国家图书馆位于该国首都地拉那，