In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box Calculus), by means of which we identify those processes that have the same behaviour, not only in terms of the multiactions that they can perform, but also taking into account the stochastic information that they have associated. In order to define this equivalence relation we have to define an adequa...

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

Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history pres...

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 first use a fuzzy preference relation with a membership function representing preference degree forcomparing two interval-valued fuzzy numbers and then utilize a relative preference relation improved from the fuzzypreference relation to rank a set of interval-valued fuzzy numbers. Since the fuzzy preference relation is a total orderingrelation that satisfies reciprocal and tra...

In this contribution the Myhill-Nerode congruence relation on tree series is reviewed and a more detailed analysis of its properties is presented. It is shown that, if a tree series is deterministically recognizable over a zero-divisor free and commutative semiring, then the Myhill-Nerode congruence relation has finite index. By [Borchardt: Myhill-Nerode Theorem for Recognizable Tree Series. LN...

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