The lattice of prefilters of an EQ-algebra
详细信息    查看全文
文摘
In this paper, the notion of a prefilter generated by a nonempty subset of an EQ-algebra is introduced and a characterization of it is obtained. It is proved that the set of all prefilters of an EQ-algebra is an algebraic lattice and it is a Brouwerian lattice for an ℓEQ-algebra. Furthermore, it is shown that the set of all principal prefilters of an ℓEQ-algebra is a sublattice of the lattice of prefilters. Then by defining an implication between two prefilters, it is determined that the lattice of prefilters is a Heyting algebra, for an ℓEQ-algebra. Finally, the EQ-algebras for which the lattice of prefilters is a Boolean algebra are given.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700