大拱桥--暨南大学学生门户 » 图书馆 » 递归论(递归函数,能行性理论) » 多值逻辑的方法和理论 : 非正规多值逻辑研究
名称 多值逻辑的方法和理论 : 非正规多值逻辑研究
索引号 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*的命题和谓词系统,并证明了其元逻辑性质;介绍了与多值逻辑有关的代数系统,另外,对抽象代数逻辑的一些结果给以介绍,这是研究多值逻辑的一个重要方法。