题名:
中国表示法及其逻辑研究   / 杜国平著 ,
ISBN:
978-7-5227-2100-2 价格: CNY88.00
语种:
chi
载体形态:
223页 24cm
出版发行:
出版地: 北京 出版社: 中国社会科学出版社 出版日期: 2023
内容提要:
本书在H.M.Sheffer和张清宇先生等人工作的基础上, 提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号, 就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项, 由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征, 证明了中国表示法的结构唯一性及其强大的表达功能, 基于中国表示法探究了若干逻辑基础问题, 获得了若干创新性成果。 
主题词:
数理逻辑   研究
中图分类法:
O141 版次: 5
主要责任者:
杜国平,
责任者附注:
杜国平, 男, 1965年生, 江苏省淮安市盱眙县人。哲学博士(逻辑学专业), 工学博士(计算机应用技术专业)。现为中国社会科学院哲学研究所研究员、智能与逻辑实验室主任, 二级教授, 博士生导师, 享受国务院政府特殊津贴专家。现主要从事逻辑学和人工智能基础理论研究, 研究方向为人工智能逻辑、符号逻辑、逻辑思想史和逻辑应用等。