Implicative filters of lattice implication algebras
Bull. Korean Math. Soc. 1997 Vol. 34, No. 2, 193-198
Young Bae Jun Gyeongsang National University
Abstract : We give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.