亚结构逻辑

✍ dations ◷ 2025-05-17 11:59:53 #亚结构逻辑

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

相关

mRNA信使核糖核酸（英语：messenger RNA，缩写：mRNA），是由DNA经由转录而来，带着相应的遗传讯息，为下一步翻译成蛋白质提供所需的讯息。在细胞中，mRNA从合成到被降解，经过了数个步骤。在转录的
西伯利亚坐标：60°0′N 105°0′E / 60.000°N 105.000°E / 60.000; 105.000地理上的西伯利亚西伯利亚（俄语：Сибирь，罗马化：Sibir）是乌拉山脉以东的广大地区的总称，占北亚的大部分，面
百分位百分位数，统计学术语，如果将一组数据从小到大排序，并计算相应的累计百分位，则某一百分位所对应数据的值就称为这一百分位的百分位数，以Pk表示第k百分位数。若一群资料的个数为N，且
庚糖庚糖（Heptose），又称为七碳糖，是含有七个碳原子的单糖，化学式为 C7H14O7。在1号碳上有醛基的称为七碳醛糖（庚醛糖）；2号碳上有酮基的称为七碳酮糖（庚酮糖）。庚酮糖有四个手性碳原子，庚醛
休伊·皮尔斯·朗休伊·皮尔斯·朗（英语：Huey Pierce Long Jr.，又译作休伊·龙、休伊·朗格，1893年8月30日－1935年9月10日），美国民主党籍政治人物，前任路易斯安那州州长及联邦参议员。出生于路易斯安
锡诺普的第欧根尼锡诺普的第欧根尼（Διογένης）（亦翻译为戴奥基尼斯或狄奥根尼），古希腊哲学家，犬儒学派的代表人物。活跃于公元前4世纪，相传于公元前413年生于锡诺普（Σινώπη，现属土耳其），相
将军 (古希腊)将军（strategoi）是古希腊统领军队的高级武官，这个称呼一直延续到东罗马帝国。直至今日，这个军衔也保留在希腊军队中，地位等同上将。另外，也是古希腊雅典城邦的民主政制中军事最高
失忆症失忆症（Amnesia，来自希腊语ἀμνησία），又称失忆症候群（amnesic syndrome），是一种记忆混乱的疾病。简单来说就是丧失记忆，包含丧失部分记忆或丧失全部记忆。失忆症的成因包括器
双尾目双尾目（学名：Diplura）为一类较为原始的节肢动物，通称铗尾虫、双尾虫。身体细长而扁平，白色或黄色，没有眼睛，尾部具有一对尾须或尾铗，触角长，如念珠状。生活在阴暗潮湿的地方，以腐殖质
语义角色语义角色（英语：Semantic roles），又称语义关系、主题关系（thematic relations），生成语法中称为题元或题元角色（θ-roles），在格语法中也称为语义格或深层格，是语义学上的一个概念，指短语或