Based on fuzzy reasoning in fuzzy logic, this paper studies a fuzzy hyperoperation and a fuzzy hypergroupoid associated with a fuzzy relation. A sufficient and necessary condition for such a fuzzy hypergroupoid being a fuzzy hypergroup is given, and the properties of the fuzzy hypergroups associated with fuzzy relations are investigated. Furthermore, the definition of normal fuzzy hypergroups is put forward and it is shown that the category NFHG of normal fuzzy hypergroups satisfies all the axioms of topos except for the subobject classifier axiom. (C) 2010 Elsevier Ltd. All rights reserved.
机构:
Chongqing Three Gorges Univ, Coll Math & Comp Sci, Chongqing 404000, Peoples R ChinaChongqing Three Gorges Univ, Coll Math & Comp Sci, Chongqing 404000, Peoples R China