We propose a new class of algebraic structure named as (m, n)-semihyperring which is a generalization of usual semihyperring. We define the basic properties of (m, n)-semihyperring like identity elements, weak distributive (m, n)semihyperring, zero sum free, additively idempotent, hyperideals, homomorphism, inclusion homomorphism, congruence relation, quotient (m, n)-semihyperring etc. We propo...

Myhill-Nerode Theorem is regarded as a basic theorem in the theories of languages and automata and is used to prove the equivalence between automata and their languages. The significance of this theorem has stimulated researchers to develop that on different automata thus leading to optimizing computational models. In this article, we aim at developing the concept of congruence in general fuzzy...

Our work is a contribution to the model-theoretic 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 being studied are the Leibniz congruence and the relative relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable...

In this paper, the notions of fuzzy soft subalgebra and fuzzy soft convex subalgebra of a residuated lattice are introduced and some related properties are investigated. Then, we define fuzzy soft congruence on a residuated lattice and obtain the relation between fuzzy soft convex subalgebras and fuzzy soft congruence relations on residuated lattices. The concept of soft homomorphism is defined...

A right ternary N -group (RTNG) over a right ternary near-ring N is a generalization of its binary counterpart and fuzzy soft sets are generalization of soft sets which are parameterized family of subsets of a universal set. In this paper fuzzy soft N -subgroups and N -ideals over right ternary N -groups are defined and their basic algebraic properties are studied. Fuzzy soft N -subgroups and N...

In this paper we study relations which are congruences with respect to ∧ and ⊔p, where ⊔pis the p-cut of the L-fuzzy hyperoperation ⊔. The main idea is to start from an equivalence relation R1 which is a congruence with respect to ∧ and ⊔1and, for each p ∈ X , construct an equivalence relation Rp which is a congruence with respect to ∧ and ⊔p. Furthermore, for each x ∈ Rp we construct a quotien...

In this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. In particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruence relations and the set of all fuzzy convex subalgebras on a commutative residuated lattice. Then we study fuzzy...

Park et al. (2011) introduced the concept of generalized intuitionistic fuzzy soft sets, which can be seen as an effective mathematical tool to deal with uncertainties. In this paper, the concept of generalized intuitionistic fuzzy soft equality is introduced and some related properties are derived. It is proved that generalized intuitionistic fuzzy soft equality is congruence relation with res...

The association between hyperstructures and binary relations had been intensively studied 5,6,10,11,2,4,20 . Chvalina 5,6 and Hort 2 use ordered structures for the construction of semigroups and hypergroups. Rosenberg 4 associated with any binary relation of full domain, a hypergroupoid and found conditions on , such that is a hypergroup. Corsini and Leoreanu 16 study hypergroups and binary rel...

In this paper, we establish the idea of fuzzy congruences on Abel-Grassmann's group (AG-group). We investigate different outcomes fuzzy-congruences AG-groups in detail and give some examples to illustrate newly established results. develop relation between congruence normal subgroup. end, also provide results homomorphism AG-groups.