In this paper, we study fuzzy congruence relations and their classes; so‐called fuzzy congruence classes in universal algebras whose truth values are in a complete lattice satisfying the infinite meet distributive law. Fuzzy congruence relations generated by a fuzzy relation are fully characterized in different ways. The main result in this paper is that, we give several Mal'cev‐type characterizations for a fuzzy subset of an algebra A in a given variety to be a class of some fuzzy congruence on A . Some equivalent conditions are also given for a variety of algebras to possess fuzzy congruence classes which are also fuzzy subuniverses. Special fuzzy congruence classes called fuzzy congruence kernels are characterized in a more general context in universal algebras.
Paper
Full text
L ‐fuzzy congruence classes in universal algebras
Semantic Scholar · Mathematics · 2021
Abstract
In this paper, we study fuzzy congruence relations and their classes; so‐called fuzzy congruence classes in universal algebras whose truth values are in a complete lattice satisfying the infinite meet distributive law. Fuzzy congruence relations generated by a fuzzy relation are fully characterized in different ways. The main result in this paper is that, we give several Mal'cev‐type characterizations for a fuzzy subset of an algebra A in a given variety to be a class of some fuzzy congruence on A . Some equivalent conditions are also given for a variety of algebras to possess fuzzy congruence classes which are also fuzzy subuniverses. Special fuzzy congruence classes called fuzzy congruence kernels are characterized in a more general context in universal algebras.