亚结构逻辑

✍ dations ◷ 2025-11-25 04:18:30 #亚结构逻辑

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

相关

全身麻醉全身麻醉剂（英语：general anesthetics）是麻醉药中的一类。麻醉药根据作用部位的不同，可分为全身麻醉药（general anesthetics）和局部麻醉药（local anesthetics）。全身麻醉药作用于中
新元古代新元古代（英语：Neoproterozoic，符号NP）是地质时代中的一个代，开始于同位素年龄1000百万年（Ma），结束于542±0.3Ma。新元古代期间菌藻类继续繁盛，开始出现动物的化石。新元古代属于前寒
眼药水眼药水是治疗眼睛疾病的药水，其成分依作用的不同有许多种类，例如类固醇、抗生素、抗组织胺药、 β阻滞剂、非类固醇消炎止痛药等。一般眼药水为了长期保存而添加了微量的防腐
骨化三醇骨化三醇（英语：Calcitriol，又称为1,25-二羟胆钙化醇或1,25-二羟维生素D3）是维生素D的活性形式，也是体内的一种激素，在调节血钙与血磷浓度方面有着重要作用。7-脱氢胆固醇在皮肤内
萨延बाप तहसील घंटियाली 城镇萨延（Sayan），是印度古吉拉特邦Surat县的一个城镇。总人口12856（2001年）。该地2001年总人口12856人，其中男性7258人，女性5598人；0—6岁人口
无菌技术无菌操作（英语：aseptic technique）是指在执行医疗、护理技术过程中，防止一切微生物侵入机体和保持无菌物品及无菌区域不被污染的操作技术和管理方法，由约瑟夫·李斯特在1865年首
别列赞岛别列赞岛(Berezan Island) 位在第聂伯河到黑海的出海口，行政区域上属于乌克兰尼古拉耶夫州。约900米长，320米宽，与陆地间被浅水分隔，距离约二公里半。别列赞岛被认为可能是黑海
希伯来语复兴希伯来语复兴是在19世纪末、20世纪初在欧洲和巴勒斯坦所进行的运动，目的是将该语言从仅在宗教仪式中使用，变成在以色列日常生活使用的口语和书面语。艾利泽·本-耶胡达是立陶
着装守则服装是人类形象基础的一部分，除了满足基本的保护和修饰功能之外，它的每个配件也传达出不同的文化和社会意义，在绝大多数的人文社会中都有属于自己的着装守则，其中的大部分规则都
修纳语修纳语（修纳语：ChiShona），或称绍纳语，是属于班图语支的一种语言。是赞比亚南部与津巴布韦修纳人的母语，也是津巴布韦的官方语言之一。修纳语所有的音节都以元音结尾，且一个字词中的