亚结构逻辑

✍ dations ◷ 2025-11-21 01:45:09 #亚结构逻辑

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

相关

专性厌氧微生物专性厌氧菌（obligate anaerobes）是一类仅能进行无氧呼吸，且无法在正常大气（氧含量21%）等富氧环境下存活的微生物。这类生物对氧气的耐受力不同，部分专性厌氧菌可以在氧含量达8%的
人类呼吸道融合病毒人类呼吸道合胞病毒，又称呼吸道融合病毒，简称HRSV（Human Respiratory Syncytial Virus），为副黏液病毒科肺病毒属中型单链RNA病毒，分为A,B两型， A,B两型之主要差异在于病毒外膜表面
蔬菜蔬菜，是指可以做菜、烹饪成为食品的，除了谷物以外的其他植物（多属于草本）生活中所指的的蔬菜，常和“水果”分开讨论。不过也常和水果合称为“蔬果”。另外，和“野菜”不同的地方，在
成功大学国立成功大学校务基金 20,518,898,000元国立成功大学（英语：National Cheng Kung University，缩写为NCKU或 National Koxinga University），简称成大、成功大学，是一所位于台湾台南
反气旋反气旋是三维空间上的涡旋，是描述大气运动的概念。是在近地面，气流向外辐散，中心气流下沉的一种天气系统。在近地面，反气旋在北半球作顺时针旋转，在南半球做逆时针旋转。反气旋与
高尔加斯高尔吉亚（希腊文：Γοργίας，约公元前487年-前376年），希腊诡辩学派学者、前苏格拉底时期的哲学家及修辞学家，原居于西西里伦蒂尼。与普罗塔哥拉同为首批诡辩学者。他最为人所
菲洛皮门菲洛皮门（英语：Philopoemen，前253年－前183年）。古希腊政治家与军事将领。曾担任总司令之职。早年生活简朴并接受过哲学教育，后参加战争，他在战争中表现突出，作战英勇，并多次负伤。晚
多神论一多神论或多神教（来自希腊语：πολυθεϊσμός，英语：polytheism），相对于一神论或一神教而言，指崇拜或信仰许多（复数）神的信仰体系或者宗教教条。典型代表为印度教、古希腊宗教
5-氟尿嘧啶5-氟尿嘧啶（英语：fluorouracil，简写为5-FU或f5U）是一种嘧啶类似物，主要用于治疗肿瘤。5-氟尿嘧啶属于抗代谢药的一种。常与亚叶酸（leucovorin）合并使用。二氟化氙与尿嘧啶反应后，会
皮钦语皮钦语（英语：Pidgin，/ˈpɪdʒᵻn/，或pidgin language），又称混杂语言，一种简化版本的自然语言，这种语言来自于两个或两个以上的群体，他们之间没有共同语言，为了彼此沟通而发展出的语言