一类Lukasiewicz n+1值逻辑系统中VDF问题的求解理论  

Solution to the VDF Problem in the Kind of (n+1)-Valued Lukasiewicz Logic System

作　　者：罗清君[1,2] 王国俊[2,3] 

机构地区：[1]西安财经学院统计学院,西安陕西710061310027 [2]陕西师范大学数学研究所 [3]西安交通大学基础科学研究中心,西安陕西710049

出　　处：《数学进展》2007年第2期173-180,共8页Advances in Mathematics（China）

基　　金：国家自然科学基金重点资助项目(No.10331010)

摘　　要：为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已在二值命题逻辑L和p+1(p为素数)值Lukasiewicz命题逻辑中得到了解决,但是对一般的n+1(n>3且n不是素数)值Lukasiewicz命题逻辑系统Ln+1,VDF问题相当复杂且尚未解决．本文尝试在一类特殊的n+1值Lukasiewicz命题逻辑系统Ln+1,即Ln+1的赋值域Wn+1的所有子代数在包含序下构成一个链中建立VDF问题的求解理论,并完满地解决了这类n+1值Lukasiewicz命题逻辑系统Ln+1中的VDF问题．The valuationally decided formula question（briefly, VDF question）has been proposed and solved in classical 2-valued propositional logic and Lukasiewicz （p ＋1）-valued propostional logic, which are non-fuzzy versions of fuzzy modus ponens in classical logic. The VDF question is complicated and unsolved in （n ＋ 1）-valued Lukasiewicz logic system for n 〉 3, where n is not prime. This paper intents to bulid theory for solution to the VDF question in （n ＋ 1）-valued Lukasiewicz logic system, where it＇s subalgebras compose a chain, and solves the VDF question in this kind of （n ＋ 1）-valued Lukasiewicz logic system.

关 键 词：FMP规则 LUKASIEWICZ逻辑系统 赋值决定公式 

分 类 号：O141.1[理学—数学] O153[理学—基础数学]