龙岩学院学报
龍巖學院學報
룡암학원학보
JOURNAL OF LONGYAN UNIVERSITY
2014年
5期
5-8
,共4页
HO -代数%Heyting -代数%f -滤子%余核滤子
HO -代數%Heyting -代數%f -濾子%餘覈濾子
HO -대수%Heyting -대수%f -려자%여핵려자
HO-algebra%Heyting-algebra%f-filter%cokernel filter
分析HO -代数的性质，利用同余关系介绍f -滤子是余核滤子的充要条件；并且，采用构造辅助滤子证明所有f -滤子的集合是一个Heyting -代数。
分析HO -代數的性質，利用同餘關繫介紹f -濾子是餘覈濾子的充要條件；併且，採用構造輔助濾子證明所有f -濾子的集閤是一箇Heyting -代數。
분석HO -대수적성질，이용동여관계개소f -려자시여핵려자적충요조건；병차，채용구조보조려자증명소유f -려자적집합시일개Heyting -대수。
By analyzing the properties of HO-algebra, the authors try to give a necessary and sufficient condition that an f-filter is a cokernel filter by using the congruence relation as well as to show that the set of the f-filters on HO-algebra is a Heyting-algebra by using the auxiliary filter.
