陕西师范大学学报（自然科学版）2011，Vol.39Issue(2)：13-16,22,5.
广义MP问题的α-三Ⅰ解的形式化理论
Formalized theory of α-triple I solutions for problems of generalized modus ponens
摘要
Abstract
The aim of to study the formalized theory of α-triple Ⅰ methods for fuzzy reasoning in classical propositional logic. The concept of minimal a formula in (F(S), ＜) is introduced and the following results are proved when a belongs to { k/2n |k =0,1,...,2n ,n=1,2,... } , (1) All the minimal α(α (∈) {0,1}) formulas constitute an antichain in (F(S), ＜); (2) The set of all the minimal a formulas is consistent when a equals 1; otherwise, it is inconsistent. The existence theorem of formalized α-triple Ⅰ solution for problems of generalized modus ponens is also proved.关键词
广义MP问题/α-三Ⅰ算法/极小α公式/形式化α-三Ⅰ解Key words
generalized modus ponens (GMP) / α-triple Ⅰ method/ minimal a formula/ formalized α-triple Ⅰ solution分类
数理科学引用本文复制引用
马丽娜,王国俊..广义MP问题的α-三Ⅰ解的形式化理论[J].陕西师范大学学报（自然科学版）,2011,39(2):13-16,22,5.基金项目
国家自然科学基金重点资助项目(10771129) （10771129）
国家自然科学基金青年资助项目(61005046) （61005046）
陕西省自然科学基础研究计划项目(2010JQ8020). （2010JQ8020）
