【摘 要】
：
制约逻辑(Lins Entailment Logic)是北京市政协委员、北京市“五一”劳动奖章获得者、我国后起的逻辑学家林邦瑾教授在传统形式逻辑和数理逻辑的基础上，取二者之长，舍二者之短，
【出 处】
：
中西南学会学研究第27届年会暨学会改革与创新论坛
论文部分内容阅读
制约逻辑(Lins Entailment Logic)是北京市政协委员、北京市“五一”劳动奖章获得者、我国后起的逻辑学家林邦瑾教授在传统形式逻辑和数理逻辑的基础上，取二者之长，舍二者之短，于1968年创立的—个既符合人的普通逻辑思考实际又具有现代科学水平的堪称逻辑科学当代发展的崭新逻辑体系。林邦瑾教授的专著《制约逻辑》于1985年在贵州人民出版社出版后，国内外逻辑界、计算机科学界为之震动。国内40多家报刊杂志、电台电视台相继作了专题报导和评介。清华大学、中国人民解放军军事科学院等40多个单位纷纷邀请林邦瑾教授前去讲学。—个学习、研究制约逻辑的热潮在国内兴起。
其他文献
在当前阶段中,我国各地区针对事业单位整体发展的情况进行了数据调研,而数据显现出了事业单位当前发展相对滞后的特性,并且很多事业单位自身在功能上又存在着定位不清的现象,
六盘水市是一座以开发能源和原材料为主的工业城市。随着经济的发展，在由工业城市向资源可持续发展城市转型的过程中，科技社团的发展遇到前所未有的机遇和挑战。改革是其实现自
报名要求中国民间“国宝”金榜报名类别:(玉器、陶瓷、字画、铜器、杂项、钱币、文房清供、家具、古籍善本、奇石) 1．直接按以下地址报名(请在信封上注明“国宝·征集办”)北
随着社会的不断发展进步，政府代替学会职能必将转变下放，逐渐实现学会职能独立。根据省、市改革文件精神，学会与挂靠单位脱钩失去支持，过去的生存方式已不适应新形势发展的需要，改
随着石油企业海外业务发展壮大,如何通过内部审计敦促境外机构规范当地货币汇率风险管理、降低汇率风险和损失,成为一个亟待研究的课题.本文主要从境外机构小币种事前和事中
中国企业联合会(中企联)日前在郑州召开的“2020中国500强企业高峰论坛”上,根据国务院国资委的授权,发布了“中国企业500强”榜单,以及“中国跨国公司100大”榜单.其中,“10
川庆钻探工程有限公司(川庆公司)重组成立于2008年2月,主要从事钻井、录井、固井、储层改造、试修等井筒工程业务,及以长庆苏里格、威远页岩气风险区为主的油气合作开发业务.
受国际油价暴跌、新冠肺炎疫情蔓延等影响,我国现代煤化工行业遭遇沉重打击,诸多项目跌破盈亏平衡点,行业出现大面积亏损.尽管当前形势有所缓解、生产陆续恢复,行业整体却仍
贵州省消防协会成立于1985年12月，现已是第五届，五届理事会共有理事147人，常务理事45人，单位会员3100个，个人会员1000多人。共有灭火救援、防火技术、宣传教育、消防产品与施工技
当前经济的快速发展,导致了企业之间的竞争越来越激烈,为此提升自身的竞争力,成为了一个非常重要的事情.而信息技术在企业管理中的应用,就要求必须做好会计电算化内部控制.通