Some new properties of lattice filters are presented based on the order-preserving mapping and lattice homomorphism, and two necessary and sufficient conditions for lattice filters under the chain type are given. Then, the relations between lattice filter and lattice implication algebras (LIAs), i.e., the relations between lattice filter and LIA-filters, and the related properties are investigated. In addition, three necessary and sufficient conditions for LIA-filters are discussed. The obtained results may serve as some theoretical supports to lattice-valued logical system.
First,we reviewed the definitions of lattice implication algebras,lattice implication subalgebras,and LI-ideals,and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice implication subalgebra and LI-ideal,and found the least lattice implication subalgebra. Finally,the relation between lattice implication subalgebra and LI-ideal is presented. It is proved that no LI-ideals are non-trivial lattice implication subalgebras.
