广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

中国表示法及其逻辑研究/杜国平著

出版发行项:

北京:中国社会科学出版社,2023

ISBN及定价:

978-7-5227-2100-2/CNY88.00

载体形态项:

223页;24cm

个人责任者:

杜国平 (1965.10-) 著

学科主题:

数理逻辑-研究

中图法分类号:

O141

一般附注:

中国社会科学院哲学社会科学创新工程学术出版资助项目资助

提要文摘附注:

本书在H. M. Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。全书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示法的结构唯一性及其强大的表达功能，基于中国表示法探究了若干逻辑基础问题，获得了若干创新性成果。

豆瓣简介：