首页 >
亚结构逻辑
✍ dations ◷ 2025-04-25 01:33:34 #亚结构逻辑
在数理逻辑中,特别是联合上证明论的时候,一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用:结构规则的概念是基于相继式(sequent)表达,而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。在相继式演算中,你可以把证明的每一行写为这里的结构规则是重写相继式左手端的Γ的规则,Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式:我们希望把相继式符号读做这里我们把右手端的Σ采纳为一个单一的命题C(这是直觉主义风格的相继式);但是所有的东西都同样的适用于一般情况,因为所有的操作都发生在十字转门(turnstile)符号的左边。因为合取是交换性和结合性的操作,相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如演绎自还有对应于合取特性的幂等性和单调性的进一步的结构规则:从我们可以演绎出还有从我们可以演绎出,对于任何B,在线性逻辑中有重复的假设(hypothese)'被认为'不同于单一的出现,它排除了这两个规则。而相干逻辑只排除后者的规则,因为B明显的与结论无关。这些是结构规则的基本例子。在应用到常规命题演算的时候,这些规则是没有任何争议的。它们自然的出现于证明理论中,并在那里被首次注意到(在获得一个名字之前)。
相关
- 微生物学微生物学是研究微生物的一门学科。微生物包括病毒、原核生物和简单的真核生物。目前,微生物学的最主要工作是用生物化学和遗传学方法完成的。由于很多病原(像是造成植物病害的
- 动物相动物相(拉丁文:Fauna),又译动物群或动物区系,指某一地区某一时段的特定动物种群。Fauna的另一个意思是动物志,是对一个动物区系的纪录和描述。“动物相”翻译自欧洲语言的Fauna,这
- 嗜二氧化碳菌嗜二氧化碳菌(英语:Capnophiles)是一类适合在高浓度二氧化碳下生存的微生物。“嗜二氧化碳菌”只是一个对这类生物进行大致描述的术语,对其所描述生物的分类和进化关系的建立贡
- 生物性危害第四级生物性危害(英文:Biological hazard, Biohazard),又称为“生物危害”,指的是会对人类及动物有危害的生物或生物性物质。这些物质包括但不限于动物、植物、微生物、病毒及含有病原
- S02BA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码S02(耳科用药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborat
- 互惠税则法互惠税则法(英语:Reciprocal Tariff Act,1934年6月12日颁布,ch. 474,48 Stat. 943,美国法典第19卷(英语:Title 19 of the United States Code)第1351章)是一部美国国会在1934年颁布
- 自由自由(和制汉语:自由,英语:Freedom,Liberty)是一个哲学中的概念,意即可以自我支配,凭借意志而行动。学术上存在对自由的概念有不同见解,在对个人与社会的关系认识上有所不同。自由包括
- 德黑兰德黑兰(波斯语:تهران / Ťehrân , 读音 帮助·信息发音:)是伊朗的首都和最大城市,同时是德黑兰省省会,总人口达8,429,807人, 并且是西亚地区最大城市之一,世界第19大城市。
- Fasciolopsis buski布氏姜片虫(学名:Fasciolopsis buski),简称姜片虫,是一种外观极像薄切姜片的中、大型寄生虫。为完成一代生活,这种虫必须在环境适当的淡水螺体内发育,再以常见的水生植物作第二轮的
- 口诀陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧