Bull. Korean Math. Soc. 1997; 34(2): 193-198
Printed June 1, 1997
Copyright © The Korean Mathematical Society.
Young Bae Jun
Gyeongsang National University
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.
Keywords: lattice implication algebra, (implicative) filter
MSC numbers: 03G10, 06B10
2016; 53(5): 1483-1495
2001; 38(1): 191-195
© 2022. The Korean Mathematical Society. Powered by INFOrang Co., Ltd