Ultra -ideals in lattice implication algebras
Ke Yun Qin, Yang Xu, Young Bae Jun (2002)
Czechoslovak Mathematical Journal
Similarity:
We define an ultra -ideal of a lattice implication algebra and give equivalent conditions for an -ideal to be ultra. We show that every subset of a lattice implication algebra which has the finite additive property can be extended to an ultra -ideal.