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

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

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. In this paper, we apply fuzzy soft sets to  hyperrings. The concept of ( , ) q       -fuzzy soft  -hyperideals of  -hyperrings is first introduced. Some new characterizations are investigated. In particular, a ...

The purpose of this note is the study of L-multialgebras and fuzzy congruences of multialgebras. In this regards first the notion of a L-multialgebras are introduced and studied and then the notion of a P -fuzzy relations on multialgebra are given and is applied to introduce the notion of P -fuzzy congruence of multialgebras. Finally, the lattices of P -fuzzy (resp. strong) congruences of multi...

In this article, the problem of exponential mean-square stability analysis is discussed for uncertain networked control systems expressed by a stochastic T-S fuzzy model. general, characteristics random occurrence multipath packet dropouts often exist in signal transmission network. For dealing with difficult point, dynamic output feedback strategy combining Bernoulli theory employed. Then, del...

As mentioned in the Introduction, it has the following goals: to develop the main topics of revealed preference theory (rationality, revealed preference, congruence, consistency) for a large class of fuzzy choice functions, to explore new topics (degree of dominance, similarity, indicators of rationality) specific to a fuzzy approach to choice functions and to show the manner in which some prob...

In this paper we investigate some properties of congruences on ternary semigroups. We also define the notion of congruence on a ternary semigroup generated by a relation and we determine the method of obtaining a congruence on a ternary semigroup T from a relation R on T. Furthermore we study the lattice of congruences on a ternary semigroup and we show that this lattice is not generally modular...

To a fuzzy choice function C we assign the indicators of revealed preference WAFRP (C), SAFRP (C) and the indicators of congruence WFCA(C), SFCA(C). These indicators measure the degree to which the fuzzy choice function C verifies the axioms of revealed preference WAFRP , SAFRP and of congruenceWFCA and SFCA, respectively.

We develop the commutator theory for fuzzy congruence relations of general universal algebras. In particular, algebras in modular varieties, we characterize congruences using Day’s terms.