关于格值逻辑及其语言真值不确定性推理研究

摘要	第1-8页
Abstract	第8-13页
第1章 绪论	第13-23页
·本研究课题的学术背景和理论意义	第13-15页
·国内外相关研究进展	第15-19页
·本课题的来源及主要研究内容	第19-23页
第2章 语言真值格蕴涵代数与格蕴涵序半群	第23-45页
·基本概念与结论	第23-29页
·语言真值格蕴涵代数	第29-33页
·格蕴涵序半群	第33-44页
·本章小结	第44-45页
第3章 格值命题逻辑的语义理论	第45-77页
·基本概念、记号和格值命题逻辑系统的语言	第45-48页
·系统L_p的重言式理论	第48-55页
·语义闭包算子与信息的相容性	第55-63页
·语义闭包算子的紧致性理论	第63-65页
·关于逻辑等值关系	第65-70页
·与语义闭包算子相关的一些问题	第70-75页
·本章小结	第75-77页
第4章 格值命题逻辑的语法理论	第77-109页
·形式证明和语法结论算子	第77-89页
·常用的一些定理与可证等价关系	第89-98页
·广义演绎定理和完备性定理	第98-108页
·本章小结	第108-109页
第5章 语言真值不确定性推理研究	第109-121页
·基于语言真值格蕴涵代数的格值命题逻辑系统	第109-111页
·三类典型的不确定性推理模型	第111-119页
·本章小结	第119-121页
结论与展望	第121-123页
本文取得的主要成果	第121-122页
相关的进一步研究工作	第122-123页
致谢	第123-125页
参考文献	第125-135页
附录A:关于L_(18)上各种算子的运算表	第135-139页
攻读博士学位期间发表、录用和完成的论文	第139-143页
攻读博士学位期间主研和主持的科研项目	第143页