Fuzzy deductive systems of RM algebras
AbstractThe theory of fuzzy deductive systems in RM algebras is developed. Various characterizations of fuzzy deductive systems are given. It is proved that the set of all fuzzy deductive systems of a RM algebra 𝒜 is a complete lattice (it is distributive if 𝒜 is a pre-BBBCC algebra). Some characterizations of Noetherian RM algebras by fuzzy deductive systems are obtained. In pre-BBBZ algebras, the fuzzy deductive system generated by a fuzzy set is constructed. Finally, closed fuzzy deductive systems are defined and studied. It is showed that in finite CI and pre-BBBZ algebras, every fuzzy deductive system is closed. Moreover, the homomorphic properties of (closed) fuzzy deductive systems are provided.