命题逻辑中广义MP问题的合理解

摘要：

在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度.利用支持度的思想引入了广义MP问题的一种新型合理求解机制,并证明了合理解的存在性.

关键词：GMP问题、真度、支持度、合理解

所属期刊栏目：46

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 10771129;兰州理工大学优秀青年基金;兰州理工大学科研发展基金

在线出版日期：2010-03-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：37-38,44