克服困难积极开展学术交流活动

摘要

制约逻辑(Lin's Entailment Logic)是北京市政协委员、北京市“五一”劳动奖章获得者、我国后起的逻辑学家林邦瑾教授在传统形式逻辑和数理逻辑的基础上，取二者之长，舍二者之短，于1968年创立的—个既符合人的普通逻辑思考实际又具有现代科学水平的堪称逻辑科学当代发展的崭新逻辑体系。林邦瑾教授的专著《制约逻辑》于1985年在贵州人民出版社出版后，国内外逻辑界、计算机科学界为之震动。国内40多家报刊杂志、电台电视台相继作了专题报导和评介。清华大学、中国人民解放军军事科学院等40多个单位纷纷邀请林邦瑾教授前去讲学。—个学习、研究制约逻辑的热潮在国内兴起。