The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under whic...The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under which the minimal mapping β: L→2L on a completely distributivelattice L preserves finite infs and arbitrary infs.展开更多
In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, par...In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, particularly form a frame.展开更多
文摘The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under which the minimal mapping β: L→2L on a completely distributivelattice L preserves finite infs and arbitrary infs.
基金Foundation item: Supported by the National Natural Science Foundation of China(10371106, 60774073)
文摘In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, particularly form a frame.