广义MP问题的α-三Ⅰ解的形式化理论

摘要：

研究了二值命题逻辑中模糊推理的全蕴涵α-三I算法的形式化问题.提出了(F(S),(＜))中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α(∈){0,1})公式构成(F(S),(＜))中的反链;(2)当α=1时,全体极小α公式之集是相容的;当α≠1时,全体极小α公式之集是不相容的.证明了广义MP问题的形式化α-三I解的存在性定理.

关键词：广义MP问题、α-三Ⅰ算法、极小α公式、形式化α-三Ⅰ解

所属期刊栏目：39

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

资助基金：国家自然科学基金重点资助项目10771129;国家自然科学基金青年资助项目61005046;陕西省自然科学基础研究计划项目2010JQ8020

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

页数：共5页

页码：13-16,22