Some properties of BZMV dM -algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMV dM -algebra can produce a quasi-lattice implication algebra. The relations between BZMV...Some properties of BZMV dM -algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMV dM -algebra can produce a quasi-lattice implication algebra. The relations between BZMV dM -algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMV dM -algebra, and its properties are derived.展开更多
基金SupportedbytheNationalNaturalScienceFoundationofChina (No .69972 0 36)
文摘Some properties of BZMV dM -algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMV dM -algebra can produce a quasi-lattice implication algebra. The relations between BZMV dM -algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMV dM -algebra, and its properties are derived.
