![]() |
名称 | 多值逻辑的方法和理论 : 非正规多值逻辑研究 |
| 索引号 | O141.3/20091 | |
| 分类号 | O141.3 O141.3(递归论(递归函数,能行性理论)) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
|
| 作者 | 霍书全、 | |
| 出版社 | 北京 : 科学出版社, 2009 | |
| ISBN | 978-7-03-023247-2 | |
| 页数 | 171页 : 图 ; 24cm | |
| 价格 | CNY32.00 | |
| 标签 | 科学出版社、 | |
| 简介 | ||
| 注解 | 教育部人文社会科学重点研究基地 中山大学逻辑与认知研究所资助 有书目 (第160-169页) 本书介绍了多值逻辑的思想来源和早期多值逻辑研究的一些成果,对鞠实儿提出的一种非正规多值逻辑给以介绍。 | |
书籍简介
《多值逻辑的方法和理论:非正规多值逻辑研究》简介:现代逻辑学产生以后,逻辑学走向了形式化、数学化的道路,除了经典逻辑,逻辑学中产生了各种非经典逻辑分支,多值逻辑就是其中的重要一支。《多值逻辑的方法和理论:非正规多值逻辑研究》系统介绍了多值逻辑的思想来源、各种系统及其语义解释;阐述了各种多值逻辑联结词,特别是无穷值逻辑的各种联结词及其构造,分析和整理了多值逻辑函数完备性问题的深刻结论;《多值逻辑的方法和理论:非正规多值逻辑研究》还构造了一类非正规多值逻辑L*的命题和谓词系统,并证明了其元逻辑性质;介绍了与多值逻辑有关的代数系统,另外,对抽象代数逻辑的一些结果给以介绍,这是研究多值逻辑的一个重要方法。











粤公网安备 44030602003680号