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

In AM93b] an asynchronous process algebra with multiple clocks, called PMC, was introduced and a complete axiomatization of strong bisimulation equivalence was given for a class of nite state processes. In this report we show how to extend the equational calculus so as to arrive at a complete axiomatization of observation congruence. Completeness is proven for the class of nite processes. With ...

The paper investigates the non-symbolic algebraic semantics of the weak bisimulation congruenceson finite pi processes. The weak bisimulation congruences are studied both in the absence and inthe presence of the mismatch operator. Some interesting phenomena about the open congruences arerevealed. Several new tau laws are discovered and their relationship is discussed. The contributi...

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

For a complete lattice C, we consider the problem of establishing when the complete lattice of complete congruence relations on C is a complete sublattice of the complete lattices of joinor meet-complete congruence relations on C. We first argue that this problem is not trivial, and then we show that it admits an affirmative answer whenever C is continuous for the join case and, dually, co-cont...

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.

In this paper, the notion of an interval valued intuitionistic fuzzy subsemiring (ideal) of a semiring with respect to t−norm T and s−norm S is given and the characteristic properties are described. The homomorphic image and inverse image are investigated. In particular, by the help of the congruence relations on semirings, new interval valued intuitionistic (S, T )−fuzzy subsemirings (ideals) ...

On the basis of the concept of the interval valued intuitionistic fuzzy sets introduced by K. Atanassov, the notion of interval valued intuitionistic fuzzy subsemimodule of a semimodule with respect to t-norm T and s-norm S is given and the characteristic properties are described. The homomorphic image and inverse image are investigated. In particular, by the help of the congruence relations on...

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.

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