For distributive double p-algebras, a close connection is established between being congruence coherent and congruence regular. Every congruence regular distributive double p-algebra is congruence coherent. Even though every congruence coherent distributive double p-algebra that has either a non-empty core or finite range is congruence regular, an example is given that is congruence coherent bu...

A (distributive) p-algebra is an algebra 〈L;∨,∧, ∗, 0, 1〉 whose reduct 〈L;∨,∧, 0, 1〉 is a bounded (distributive) lattice and whose unary operation ∗ is characterized by x ≤ a if and only if a ∧ x = 0. If L is a p-algebra, B(L) = { x ∈ L : x = x } and D(L) = { x ∈ L : x = 1 } then 〈B(L);∪,∧, 0, 1〉 is a Boolean algebra when a ∪ b is defined to be (a∗ ∧ b∗)∗, for any a, b ∈ B(L), D∗(L) = { x ∨ x∗ ...

this paper investigates the stability analysis of fuzzy relational dynamic systems. a new approach is introduced and a set of sufficient conditions is derived which sustains the unique globally asymptotically stable equilibrium point in a first-order fuzzy relational dynamic system with sumproduct fuzzy composition. this approach is also investigated for other types of fuzzy relational composit...

This paper presents a combinatorial study of the super plactic monoid type A, which is related to representations general linear Lie superalgebra. We introduce analogue Schützenberger’s jeu de taquin on structure tableaux over signed alphabet. show that this procedure transforms skew into Young compatible with congruence and it confluent. deduce properties relating insertion algorithms tableaux...

Several types of entropy of fuzzy variables or fuzzy sets have been given in the literature in order to measure the degree of uncertainty. In order to measure the degree of uncertainty of fuzzy vectors, a new definition of entropy of fuzzy vectors is proposed. Some properties are then investigated and the relations between the entropy of fuzzy variables and fuzzy vectors are discussed.

we are concerned with the development of a k−step method for the numerical solution of fuzzy initial value problems. convergence and stability of the method are also proved in detail. moreover, a specific method of order 4 is found. the numerical results show that the proposed fourth order method is efficient for solving fuzzy differential equations.

The paper presents a generalization of the main theorem of fuzzy concept lattices. The theorem is investigated from the point of view of fuzzy logic. There are various fuzzy order types which differ by incorporated relation of antisymmetry. This paper focuses on fuzzy order which uses fuzzy antisymmetry defined by means of multiplication operation and fuzzy equality.

In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speciication and analysis of distributed systems. This pre-order combines some features of the standard testing pre-orders, viz. the possibility to reene a speciication by the resolution of nondeterminism, with a powerful feature of standard observation congruence, viz. the fair abstra...

Any instant of conscious perception is shaped by the differential contributions of all of our sensory organs. Complementary information in distinct sensory streams can be exploited by crossmodal integration. The principles that govern these integrative processes are not yet completely understood. The traditional bimodal nature of multisensory research hampers the exploration of the complex inte...