结构规则

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

相关

  • 海克尔恩斯特·海因里希·菲利普·奥古斯特·海克尔(Ernst Heinrich Philipp August Haeckel,1834年2月16日-1919年8月9日)生于波茨坦卒于耶拿,德国生物学家、博物学家、哲学家、艺术家
  • 血管性痴呆血管性痴呆(Vascular dementia),亦称多发梗塞性痴呆(multi-infarct dementia),是一系列由于血管性疾病引起的大脑梗塞,其中包括高血压性脑血管病、脑动脉硬化性痴呆。其梗塞过程往
  • 新生代新生代(Cenozoic) 是地球历史上目前最新的一个地质时代,它从6600万年前开始一直持续到今天。随着白垩纪﹣古近纪灭绝事件的发生,中生代结束,新生代开始。在新生代中,哺乳动物已经是
  • 基本传染数基本传染数(Basic reproduction number)是在流行病学上,指在没有外力介入,同时所有人都没有免疫力的情况下,一个感染到某种传染病的人,会把疾病传染给其他多少个人的平均数。基本
  • 聚乙烯吡咯酮碘聚维酮碘(英语:Povidone-iodine,简写PVP-I),又称优碘(英语:Excellent-iodine)、中国大陆称碘伏,是用于手术前后皮肤消毒的杀菌剂。它可以用于消毒患者的皮肤和医护人员的手,用于轻微的
  • 克劳狄乌斯·托勒密克劳狄乌斯·托勒密(古希腊语:Κλαύδιος Πτολεμαῖος;拉丁语:Claudius Ptolemaeus,约100年-170年,又译托勒玫或多禄某)是一位学者,同时也是数学家、天文学家、地理学
  • Verizon Communications威瑞森通信(Verizon Communications(/vəˈraɪzən/),NYSE:VZ),是美国一家主要电信公司,全球领先的宽带和电信服务提供商,道琼斯30种工业平均指数组成之一。公司总部位于纽约市,主要
  • 百灭宁百灭宁是一种抗寄生虫的药物,外用百灭宁用于皮肤,主要治疗疥疮、头虱。普通名称:百灭宁(Permethrin)分子式:C21H20Cl2O3分子量:391.28外观:灰棕色液体熔点:34-35℃沸点:大约200℃蒸气
  • 劳工运动劳工运动或工人运动,简称工运,泛指某个或某些劳工团体为了己方或己方团体得到雇主与政府较好的待遇(例如制定劳动法令),而组织起来的活动。这些组织通常称为工联(trade unions)。许
  • 世界厕所组织世界厕所组织(英语:World Toilet Organization,WTO)是一个关心厕所和公共卫生问题的非营利组织,2001年成立,总部位于新加坡,每年会在不同的地方举行世界会(World Toilet Summit)。目