扰动模糊命题逻辑系统中的广义重言式

摘要：

通过定义二维R0-蕴涵算子,将王国俊教授在逻辑系统(W-)中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统(D-)中,证明了这一系统中(μ,δ)-重言式就是某个(λ,1-λ)-重言式,最终获得与一维线性赋值格上完全相应的广义重言式分类.

关键词：模糊逻辑、命题逻辑、广义重言式

所属期刊栏目：19

分类号：O159(代数、数论、组合理论)

资助基金：中国科学院资助项目69973019;辽宁省教育厅资助项目2004C068

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

页数：共4页

页码：86-89