【摘 要】
：
<正> 1934年,S.Jaskowski与G.Gentzen几乎同时提出了所谓自然推理系统。两种系统都获得极大的发展,成为最受人们欢迎的系统。这两种系统各有优缺点,大体说来,前者最和人们日
论文部分内容阅读
<正> 1934年,S.Jaskowski与G.Gentzen几乎同时提出了所谓自然推理系统。两种系统都获得极大的发展,成为最受人们欢迎的系统。这两种系统各有优缺点,大体说来,前者最和人们日常的推理过程相近似,从而使用起来最为方便;后者则除可以不用割切(cut)规则外,各规则都是由简主繁,理论上最是简捷,没有兜圈子的毛病,最适宜于作理论上的探讨(尤其当讨论融贯性、可推导性等问题时)。因此长期以来,人们都认为使用时宜选择前者,作理论上探讨时,宜选择使用后者,并认为两者根本不同,无法变成一个。
其他文献
股权结构的集中与分散对公司治理的重要性不言而喻,但股权的集中与分散究竟是怎样影响着企业的生存能力呢?特别是在成长期、成熟期公司,面对不同的竞争环境表现出来的特征也
随着我国资本市场的发展,以及我国越来越多的企业有着为了壮大自己,实现规模经济生产,从而进一步提升自己产品的市场占有率和自己的市场地位等战略目标的需要。可以说企业合
<正>未来,邮储银行将在网络建设、产品研发、队伍打造、服务升级等方面加大力度,进一步发挥资金、网络等方面的独特优势,借助互联网、移动通信、大数据等先进技术提供更优质
随着我国国民经济的持续增长,传统的煤炭能源重要性逐步下降,各种可替代能源开始逐步取代煤炭,成为我们日常生产、生活中的主要能源。而这种变化趋势,在客观上使得煤炭企业的
本文研究概率自动机初始等价和等价之间的关系,基矩阵的性质,某些等价类的结构,并得到判定极限最小自动机的一个充分条件。
奥巴马的国家安全战略希望能重塑世界政治、经济新秩序。但首要问题是,他得先解决这个超级大国自身面临的诸多挑战 5月27日,美国白宫发布了奥巴马政府首份“国家安全战略报告”。 按照美国法律,每一届新政府都要向国会提交“国家安全战略报告”。该报告主要关注国家安全威胁并提出解决方案。这是奥巴马上台16个月后首次发表国家安全战略报告。美国前总统布什在其8年任期内分别于 2002年和2006年发布了“国
<正>9月28日上午9点30分,随着中国邮政集团公司总经理、中国邮政储蓄银行董事长李国华和中国邮政集团公司副总经理、中国邮政储蓄银行行长吕家进共同敲响香港交易所有限公司
2008年2月，《小康》杂志联合新浪网会同有关专家及机构，对我国“公共服务小康”进行了调查。经过对调查结果进行加权处理，并参照国家有关部门的监测数据和大量社会信息，得出中国
<正> 姬蜂虻属Systropus是双翅目蜂虻科一特殊类群,体大型、侧扁、腹部极度延长且基部呈柄状而外观酷似姬蜂,因此取名为姬蜂虻。我国已知33种,主要分布于我国南方各省;本文记