|
题名:
|
多值逻辑的方法和理论 / 霍书全著 , |
|
ISBN:
|
978-7-03-023247-2 价格： CNY32.00 |
|
语种:
|
chi |
|
载体形态:
|
171页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2009 |
|
内容提要:
|
本书系统介绍了多值逻辑的思想来源、各种系统及其语义解释；阐述了各种多值逻辑联结词，特别是无穷值逻辑的各种联结词及其构造，分析和整理了多值逻辑函数完备性问题的深刻结论；本书还构造了一类非正规多值逻辑L*的命题和谓词系统，并证明了其元逻辑性质；介绍了与多值逻辑有关的代数系统。 |
|
主题词:
|
多值逻辑(数理逻辑) 研究 |
|
中图分类法:
|
O141.3 版次： 4 |
|
其它题名:
|
非正规多值逻辑研究 |
|
主要责任者:
|
霍书全 著 |
|
附注:
|
教育部人文社会科学重点研究基地 中山大学逻辑与认知研究所资助 |