结构规则

✍ dations ◷ 2025-01-23 04:57:44 #结构规则

在证明论中，结构规则是不提及任何逻辑连结词的推理规则，它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。没有任何上述结构规则的逻辑将把相继式解释为纯粹的序列；带有交换规则它们就是多重集；带有紧缩和交换规则二者它们就是集合。最著名的结构规则叫做切。证明论理论家花了相当的努力来证实切规则在各种逻辑中是多余的。更严格的说，证实了切只是(某种意义上)简化证明的工具，不能增加可以证明的定理。成功消除了切规则叫做切消定理，直接有关于规范化计算(参见lambda 演算)的哲学；它经常对给定逻辑的判定的复杂性给出好的指示。

相关

EoL网络生命大百科（英语：Encyclopedia of Life，缩写：EOL）是一个免费的在线协作百科全书，旨在记录所有生物的科学知识，由世界各地的专家和非专家的贡献编制。旨在为每个物种构建一个“
失能调整生命年失能调整生命年（英语：disability-adjusted life year，缩写：DALY）是衡量整体疾病负担（英语：Disease burden）的一种方法。最初是由世界卫生组织所开发，现在则渐渐地在公共卫生和健康影
吞噬细胞吞噬细胞为一类防卫细胞，它们透过吞噬细菌、坏死细胞和凋亡细胞等有害物质来保卫有机体。其原文“Phagocytes”的前半部来自希腊语“phagein”（意为“食用、吞食”），后半部“-cy
氢离子泵抑制剂质子泵抑制剂（英语：Proton-pump inhibitor、缩写为PPI）或称氢离子帮浦阻断剂，是一种抑制氢离子泵的药物，这种药物对于减少胃酸分泌的作用是显著也长效的，可以说是现今减少胃酸分泌
轫致辐射轫致辐射，又称刹车辐射或制动辐射（英语：Bremsstrahlung, braking radiation, 德语：Bremsstrahlung 德语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Li
悬浊液在化学中，悬浊液（英语：Suspension）也称为“悬浮液”或“悬胶”，是指含有大到可以沉降的固体颗粒的非均相流体。在药剂学中混悬剂是指难溶性固体药物以微粒状态分散于分散介质中形
牛腱牛腱（Beef Shank），又叫腱子、牛展，是牛小腿上的肌肉。牛肉面里使用的牛肉，通常都会用牛腱或牛腩。因为腿上肌肉在走动中反复被使用，所以这部分肉质富含肌肉纤维，颜色鲜红，感观新鲜细
冈瓦那大陆在地质学中，冈瓦那大陆（英语：Gondwana，/ɡɒndˈwɑːnə/，或Gondwanaland），也称冈瓦纳古陆、南方大陆，是存在于新元古代至侏罗纪前期（约5.73亿至1.8亿年前）的超大陆，它是从罗迪尼亚大
恩培多克勒恩培多克勒（希腊语：Ἐμπεδοκλῆς，前490年－前430年），又译恩贝多克利，公元前5世纪的古希腊哲学家、自然科学家、政治家、演说家、诗人，相传他也是医生、医学作家、术士和占卜
可计算函数在可计算性理论中，可计算函数（computable function）或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体