林邦瑾
林邦瑾 教授，硕士生导师,男,1937年2月生，汉族，浙江宁波人。北京开关厂高级工程师，中国机械工业部质量管理咨询诊断师，北京市五一劳动奖章获得者，北京市先进科技工作者，北京市政协委员，清华大学、哈尔滨工程大学、贵州大学逻辑学硕士点、北京计算机研究所等教育研究机构兼职教授，山东潍坊开发区（地市级）高级顾问、专家委员会副主任，辽宁省抚顺市人民政府高级顾问。贵州制约逻辑学会名誉会长。 1959年毕业于清华大学自动化系，随即进行逻辑学研究，于1968年创建崭新科学体系--制约逻辑（Lin’s Entailment Logic）。1985年底出版专著《制约逻辑》。 1987年应邀出席在莫斯科召开的第八届国际逻辑、科学哲学和方法论讨论会，在会上作了题为《制约逻辑名词演算Cn系统》的专题发言，另一篇论文收入莫斯科科学出版社出版的会议论文集；嗣后，收到十余次重要国际学术会议邀请并发表论文。
《新华通讯社》（中英文）、《人民日报》（国内、海外版）、《解放军报》、《经济日报》、《科技日报》、《北京日报》、《文汇报》、《解放日报》、《浙江日报》、《中央电视台》、《中央人民广播电台》、《北京电视台》、《北京人民广播电台》等三十余家新闻媒体发表长篇报道、学术评论。
先后在中国人民大学、中央民族大学、清华大学、浙江大学、哈尔滨船舶工程学院、中国军事科学院、华北计算机研究所、中科院自动化研究所、北京计算机研究所等高等院校、研究机构作学术报告、为研究生、本科生讲授制约逻辑课程。2000年应贵州大学人文学院邀请作数次学术报告。
在国内外发表出版论文论著百余篇（部），其中包括：
《制约逻辑》（42万字，贵州人民出版社1985出版，获1986年全国优秀图书奖）；
1986年新华通信社向中共中央政治局发出题为《林邦瑾创立的“制约逻辑”在国外引起反响，急需在国内取得应有地位》的机密文件《国内动态清样》(第2028期)；中共中央统战部、中共中央办公厅机要局局长汪道海、北京市科委、市总工会领导先后到北京开关厂看望了林邦瑾；
同年中共中央办公厅委托电子工业部在清华大学召开制约逻辑高层次研讨会，并将“制约逻辑及其应用理论”研究项目由电子工业部列入国家七五计划，林邦瑾主持，1989年完成；
2000年《制约逻辑》作为辞条收入中共中央党校出版社出版、任继愈教授主编的《二十世纪学术要籍大辞典》；
《制约逻辑导论》（63万字，贵州人民出版社1990出版）；
《现代逻辑辞典》（人民出版社1992，合作）；
《简明逻辑辞典》（安徽人民出版社1995，合作）；
THE MOTIVATION OF CONSTRUCTING LIN’S ENTAILMENT LOGIC （《第8届国际逻辑、科学哲学和方法论讨论会论文集》莫斯科科学出版社1987）；
WHY I CONSTRUCT LIN’S ENTAILMENT LOGIC?(《KLEENE国际数理逻辑研讨会论文集》SOFIA ESPERANTO 出版社1990)；
LIN’S ENTAILMENT SYSTEM—proposition calculus system Cm and notional coiculus system Cn (《第9届国际逻辑、科学哲学和方法论讨论会论文集》乌普萨拉大学出版社1991)；
THE TRUTH OF PARADOX（第19届世界哲学大会论文，莫斯科1993）：
《“矛盾命题”的无矛盾形式》（《哲学研究》1987），《辩证命题的形式化》（《哲学研究》1988）；
《数理逻辑不是形式逻辑的现代发展》（《社会科学战线》1989年，人大复印资料中心《逻辑》转载）；
《数学归纳公理与内涵科学分析法》（《贵州大学学报》自然版1994.No.2）；
《逻辑与非逻辑的划界标准》（《贵阳师专学报》2001. No.1，人大复印资料中心《逻辑》转载）；
《宇宙智能、人类智能、人工智能》（《《贵州大学学报》自然版2002. No.1》；
《制约逻辑是内涵智能机的逻辑工具》（《贵州科协优秀论文集－2003年》，合作）；
《第五代工具－内涵智能机》（中国科协2004年学术年会论文）；
林邦瑾已经证明了的关于制约逻辑在人工智能中应用的20多个定理，迄今尚未公布，其目的就是要留给中华民族，留给深深爱着的祖国。
未来真正的人工智能的基础装置是内涵智能机，其硬件的核心元件是从根本上区别于与、或、非门，输入输出之间不是任何函数关系的制约门，而与、或、非门仅仅是起大量存储、快速检索信息这种辅助作用的次要组成元件。制约逻辑刻划清楚了制约门的逻辑性质，为研制制约门从而进一步设计、制造内涵智能机提供了作为基础理论的逻辑理论基础。