Positive implicative and associative filters of lattice implication algebras
Young-Bae Jun, Yang Xu, Keyun Qin · 1998
ABSTRACT. We introduce the concepts of a positive implicative filter and an associative filter in a lattice implication algebra. We prove that (i) every positive implicative filter is an implicative filter, and (ii) every associative filter is a filter. We provide equivalent conditions for both a positive implicative filter and an associative filter. 1.