摘要
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数。
By corresponding properties and concepts of lattice implication algebra, we discussed the (methods) of determinating complementary element and constructing lattice implication algebra on (distributive) lattice in this paper. We proved that a lattice implicaton algebra could not be constructed on some type distributive. Moreover, we proved that a lattice implication algebra is chain-type if it has only one dual atom or has intermidiate element.
出处
《模糊系统与数学》
CSCD
北大核心
2005年第1期49-56,共8页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目 (6 0 0 74 0 14 )
关键词
不确定性推理
非经典逻辑
格值逻辑
格蕴涵代数
Uncertainty Reasoning
Non-classical Logic
Lattice-valued Logic
Lattice Implication (Algebra)