利用格蕴涵代数找出所有滤子的算法  

Using Lattice Implication Algebras to Find All Filters

作　　者：赵建彬[1] 朱华[1] 

机构地区：[1]郑州大学数学系,郑州450001

出　　处：《数学理论与应用》2012年第3期20-23,共4页Mathematical Theory and Applications

基　　金：国家自然科学基金资助项目N0.61175055~~

摘　　要：格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.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.

关 键 词：格蕴涵代数、滤子、格值逻辑 

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