摘要
格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
The filters of lattice implication algebras are important algebraic structure for lattice - valued logic reason ing. In this paper, a method to find all filters is proposed by using the implicative operators in lattice implication alge bras. Some examples are listed to illustrate the effectiveness and feasibility of the above method.
出处
《数学理论与应用》
2012年第3期20-23,共4页
Mathematical Theory and Applications
基金
国家自然科学基金资助项目N0.61175055~~
关键词
格蕴涵代数、滤子、格值逻辑
Lattice Implication Algebra Filter Lattice -valued Logic
