结构规则

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

相关

  • 时间时间是一种尺度,在物理定义是标量,借着时间,事件发生之先后可以按过去-现在-未来之序列得以确定(时间点),也可以衡量事件持续的期间以及事件之间和间隔长短(时间段) 。时间是除了空
  • 亚历山大·弗莱明亚历山大·弗莱明爵士,FRS(Sir Alexander Fleming,1881年8月6日-1955年3月11日),苏格兰生物学家、药学家、植物学家。1923年发现溶菌酶,1928年发现青霉素,这一发现开创了抗生素领域,
  • 扁桃体炎扁桃体炎(Tonsillitis),或称扁桃腺炎,通常会快速发病。扁桃体炎属于咽炎的一种。其症状包括咽喉痛、发烧、扁桃腺肿大、吞咽困难、颈部的淋巴结肿大(英语:Lymphadenopathy)。并发症
  • 侧生动物侧生动物是动物界里的一个古老的亚界,和其领鞭毛虫的祖先不同,它们有宏观的结构及分化的细胞,但又不像真后生动物一样有组织。现在唯一活着的侧生动物只有海绵,属于多孔动物门。
  • 根肿黑粉菌门根肿黑粉菌属 Entorrhiza Talbotiomyces根肿黑粉菌纲(学名:Entorrhizomycetes)是担子菌门黑粉菌亚门下的一个纲。该纲仅含一个目(根肿黑粉菌目,Entorrhizales),该目下也仅含一个科(
  • 1类致癌物对人类有确认的致癌性的物质、混合物和接触场合被国际癌症研究机构列为1类致癌物。这里的有些物质尽管没有特别充分的致癌性证据,但有足够的证据证明它们对动物致癌,而且能从
  • 回避型人格障碍回避性人格障碍(英语: Avoidant Personality Disorder; 简称AvPD或APD),或译畏避型人格障碍、逃避型人格障碍、畏惧型人格违常,属于人格障碍的一种。因为害怕在别人面前丢脸,此类
  • 美国人口2019年估计,美国的人口总数约329,730,000人。美国人口高度城镇化,在2008年时约有81%人口居住在城市及其郊区(同时期世界城镇化率为54%),这使得美国有许多土地上无人居住。加利福
  • 书写书写是人类有意识地使用文字来记录资讯、表达意向。纪录资讯的工具和方法数之不尽,一般会用笔在纸上书写,但过去也有人在石版、竹简、龟壳、墙壁等材质上写作。随着科技发展,使
  • 词源学语源学(英语:Etymology,希腊语:ετυμολογία),是一门研究字词来源的学科。英语的“Etymology”一词本身源于“希腊语:έτυμος”(真实)与“希腊语:λόγος”(字、理性或