By using a special t-level relation U(μ, t) = {(x, y) ∈ S × S|(μ(x) ∧ μ(y)) ∨ IdS(x, y) ≥ t} based on a fuzzy ideal μ of a semigroup S, which is a congruence relation, we study the roughness of soft semigroups under this special ideal of S, such as rough soft subsemigroups, rough soft ideals and rough soft prime ideals.

We define an 2-fuzzy congruence, which is a weakened fuzzy congruence, find the 2-fuzzy congruence generated by the union of two 2-fuzzy congruences on a semigroup, and characterize the 2-fuzzy congruences generated by fuzzy relations on semigroups. We also show that the collection of all 2-fuzzy congruences on a semigroup is a complete lattice and that the collection of 2-fuzzy congruences und...

In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...

In this paper we develop the method of diagrams for fuzzy predicate logics and give a characterization of different kinds of preserving mappings in terms of diagrams. Our work is a contribution to the modeltheoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts bei...

in this note, we introduce the concept of a fuzzy filter of a blalgebra,with respect to a t-norm briefly, t-fuzzy filters, and give some relatedresults. in particular, we prove representation theorem in bl-algebras. thenwe generalize the notion of a fuzzy congruence (in a bl-algebra) was definedby lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.we prove that there i...

Fuzzy order congruences play an important role in studying the categoricalproperties of fuzzy posets. In this paper, the correspondence between the fuzzyorder congruences and the fuzzy order-preserving maps is discussed. We focus onthe characterization of fuzzy order congruences on the fuzzy poset in terms ofthe fuzzy preorders containing the fuzzy partial order. At last, fuzzy completecongruen...

In this paper we introduce fuzzy congruence and fuzzy strong congruence of semi-hypergroups as well as polygroups. We obtain some results in this respect. We also prove that FC(H), the set of all fuzzy strong congruences on a polygroup H , consists a complete lattice and this lattice is isomorphic to FN (H), the lattice of fuzzy normal subpolygroups.

This paper aims to introduce fuzzy congruence relations over Heyting algebras (HA) and give constructions of quotient Heyting algebras induced by fuzzy congruence relations on HA. The Fuzzy First, Second and Third Isomorphism Theorems of HA are established. MSC: 06D20, 06D72, 06D75.

Algebraic properties and structures of intuitionistic $$L-$$ fuzzy multiset finite automata (ILFMA) are discussed through congruences on a semigroup in this paper. Firstly, we put forward the notion compatible relation, monoid associated with relation can be effectively constructed, construct two monoids different congruence relations given ILFMA, then prove that they isomorphic. Furthermore, u...