Construction of some algebras of logic by using fuzzy ideals in MV-modules

초록

We study the lattice structure of fuzzy A-ideals in an MV-module M (Faid(M), symbolically) and show that it is a complete Heyting lattice and so the set of its pseudocomplements forms a Boolean algebra. In the sequel, the properties of fuzzy congruences in an MV-module are investigated and using them some structural theorems are stated and proved. Finally, it is proved that Faid(M) can be embedded into the lattice of fuzzy congruences.

키워드