摘要
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 U-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.
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 U-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.
基金
The National Natural Science Foundationof China (No.60875034)
the Specialized Research Fundfor the Doctoral Program of Higher Education of China (No.20060613007)
