In this paper we show that any finite algebra A satisfying a weak left nilpotence condition has the property that all maximal subuniverses are congruence blocks. Conversely, if every subalgebra of A has the property that all maximal subuniverses are congruence blocks, then A satisfies the aforementioned nilpotence condition.

This paper provides an algebraic formalization of mathematical structures formed by fuzzy relations with sup-min composition. A simple proof of a representation theorem for Boolean relation algebras satisfying Tarski rule and point axiom has been given by G. Schmidt and T. Strohlein. Unlike Boolean relation algebras, fuzzy relation algebras are not Boolean but equipped with semi-scalar multipl...

The notions of bipolar fuzzy hyper MV-subalgebras, (weak) bipolar fuzzy hyper MV-deductive system and precisely weak bipolar fuzzy hyper MV-deductive system are introduced, and their relations are investigated. Characterizations of bipolar fuzzy hyper MV-subalgebras and weak bipolar fuzzy hyper MV-deductive systems are provided.

We have recently defined a weak Markovian bisimulation equivalence in an integrated-time setting, which reduces sequences of exponentially timed internal actions to individual exponentially timed internal actions having the same average duration and execution probability as the corresponding sequences. This weak Markovian bisimulation equivalence is a congruence for sequential processes with ab...

In this paper, a new class of generalized separation axioms (briefly, g-Tg-separation axioms) whose elements are called g-Tg,K, g-Tg,F, g-Tg,H, g-Tg,R, g-Tg,N-axioms is defined in terms sets g-Tg-sets) topological spaces Tg-spaces) and the properties characterizations Tg-space endowed with each such discussed. The study shows that g-Tg,F-axiom implies g-Tg,K-axiom, g-Tg,H-axiom g-Tg,F-axiom, g-...

Global convergence conditions for iterative tâtonnement with the additional requirements that prices stay strictly positive and their changes are bounded are given and convergence is shown when the excess demand function has the gross substitute property and curves appropriately around the equilibrium. Furthermore, this paper introduces a new, second order, form of the weak axiom of revealed pr...

Many applications e.g. in approximate reasoning, data summarisation, information retrieval etc. can profit from the use of fuzzy quantifiers like “almost all” or “many”, which provide flexible means of information aggregation, and are capable of extracting meaningful linguistic summaries from large amounts of raw data. However, as will be shown by a number of counterexamples, existing approache...

Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g. α.τ.β.nil and α.β.nil are woc but τ.β.nil and β.nil are not. This fact prevents us from characterizing CCS semantics (when τ is considered invisible) as a final algebra, since the semantic function would induce...

This note proposes a generalization of the weak decomposition axiom recently introduced by Ebert (2010) [U. Ebert (2010), The decomposition of inequality reconsidered: Weakly decomposable measures, Mathematical Social Sciences 60(2): 94-103]. The generalization of this axiom relies on the introduction of weaker weighting functions based both on the size of the population and the mean income. Re...