(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

摘要：

为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及(L)ukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的(L)ukasiewi命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的(L)ukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、Lα和Lc中的VDF问题.

关键词：Fuzzy分离规则、(L)ukasiewicz命题逻辑系统、赋值决定公式问题、构造性解、MV代数

所属期刊栏目：34

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

资助基金：国家自然科学基金10331010

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

页数：共8页

页码：1-8