In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities. We will introduce few basic concepts related to homomorphism, isomorphism, submodel, etc. and show some properties of them.

in this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group g and give four equivalent conditions each ofwhich characterizes this relation. we demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. moreover, we study the behavior of these equivalence classes under theaction of a...

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...

Maji et al. introduced the concept of fuzzy soft sets as a generalization of the standard soft sets and presented an application of fuzzy soft sets in a decision making problem. The aim of this paper is to apply the concept of fuzzy soft sets to n-ary hypergroup theory. The concepts of (∈(γ), ∈(γ) ∨ q(δ))-fuzzy soft (invertible) n-ary subhypergroups over a commutative n-ary hypergroup are intro...

a new definition of boundedness of linear order-homomorphisms (loh)in $l$-topological vector spaces is proposed. the new definition iscompared with the previous one given by fang [the continuity offuzzy linear order-homomorphism, j. fuzzy math. 5 (4) (1997)829$-$838]. in addition, the relationship between boundedness andcontinuity of lohs is discussed. finally, a new uniform boundednessprincipl...

In this paper, we deal with Molaei’s generalized groups. We definethe notion of a fuzzy generalized subgroup with respect to a t-norm (orT-fuzzy generalized subgroup) and give some related properties. Especially,we state and prove the Representation Theorem for these fuzzy generalizedsubgroups. Next, using the concept of continuity of t-norms we obtain a correspondencebetween TF(G), the set of ...

In this paper we consider fuzzy relations compatible with algebraic operations, which are called fuzzy relational morphisms. In particular, we aim our attention to those fuzzy relational morphisms which are uniform fuzzy relations, called uniform fuzzy relational morphisms, and those which are partially uniform F -functions, called fuzzy homomorphisms. Both uniform fuzzy relations and partially...

The concept of abstract algebra on intuitionistic fuzzy sets were introduced and some basic theorems proved by authors in 2017. In this study, homomorphism between algebras is defined, function examined then congruence relations are defined algebra. First third isomorphism introduced.