书目详细信息
： 中国表示法及其逻辑研究
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5227-2100-2:CNY88.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 中国表示法及其逻辑研究/.杜国平著 |
| 出版发行项： | 北京:,中国社会科学出版社:,2023 |
| 载体形态项： | 223页:;+图:;+24cm |
| 一般附注： | 中国社会科学院哲学社会科学创新工程学术出版资助项目资助 |
| 提要文摘： | 本书首次全面、系统地阐述了中国表示法的理论缘起、核心思想及其应用技术, 特别是探讨了中国表示法中括号之于逻辑联结词、量词和模态词等的表达功能; 基于逻辑常项的中国表示法重新构建了更加简洁的二值逻辑系统; 基于括号表示法系统构建了三值逻辑系统, 严格证明了三值逻辑是二值逻辑的扩充, 纠正了长期以来认为“三值逻辑是二值逻辑的限制”错误观点, 对三值逻辑的直观性进行了细致的分析和刻画; 运用中国表示法对三值逻辑函数进行了研究, 重点研究了三值逻辑Sheffer函数, 基于中国表示法对三值逻辑Sheffer函数的表达能力重新进行了自足的证明。 |
| 题名主题： | 数理逻辑 研究 |
| 中图分类： | O141 |
| 个人名称等同： | 杜国平, 著 |
| 记录来源： | CN 思得乐 20240525 |