an efficient flood alarm system may significantly improve public safety and mitigate damages caused by inundation. flood forecasting is undoubtedly a challenging field of operational hydrology and a huge literature has been developed over the years. in this paper, we first define ordered ideal intuitionistic fuzzy sets and establish some results on them. then, we define similarity measures betw...

Given a finite partially ordered set P , for subsets or, in other words, coalitions X, Y of P let X ≤ Y mean that there exists an injection φ: X → Y such that x ≤ φ(x) for all x ∈ X. The set L(P ) of all subsets of P equipped with this relation is a partially ordered set. All partially ordered sets P such that L(P ) is a lattice are determined, and this result is extended to quasiordered set P ...

The paper deals with special types of $L$-ordered sets, $L$-fuzzy complete lattices, and fuzzy directed complete posets.First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then the least fixpoint of $f$ is meet of a spe...

Let P be a finite ordered set, and let J(P ) be the distributive lattice of order ideals of P . The covering relations of J(P ) are naturally associated with elements of P ; in this way, each element of P defines an involution on the set J(P ). Let Γ(P ) be the permutation group generated by these involutions. We show that if P is connected then Γ(P ) is either the alternating or the symmetric ...

We consider weighted finite transition systems (wts) with weights from commutative naturally ordered semirings. Such semirings comprise distributive lattices as well as the natural numbers with ordinary addition and multiplication, and the max-plus-semiring. For these systems we explore the concepts of covering and cascade product. We show a cascade decomposition result for such wts using speci...

By studying two unsharp quantum structures, namely extended lattice ordered effect algebras and lattice ordered QMV algebras, we obtain some characteristic theorems of MV algebras. We go on to discuss automata theory based on these two unsharp quantum structures. In particular, we prove that an extended lattice ordered effect algebra (or a lattice ordered QMV algebra) is an MV algebra if and on...

Recently, several authors extended Priestley duality for distributive lattices [9] to other classes of algebras, such as, e.g. distributive lattices with operators [7], MV -algebras [8], MTL and IMTL algebras [2]. In [5] necessary and sufficient conditions for a normally presented variety to be naturally dualizable, in the sense of [6], i.e. with respect to a discrete topology, have been provid...

Dualization of a monotone Boolean function on a finite lattice can be represented by transforming the set of its minimal 1 to the set of its maximal 0 values. In this paper we consider finite lattices given by ordered sets of their meet and join irreducibles (i.e., as a concept lattice of a formal context). We show that in this case dualization is equivalent to the enumeration of so-called mini...

We characterize a fuzzy partial order relation using its level set, find sufficient conditions for the image of a fuzzy partial order relation to be a fuzzy partial order relation, and find sufficient conditions for the inverse image of a fuzzy partial order relation to be a fuzzy partial order relation. Also we define a fuzzy lattice as fuzzy relations, characterize a fuzzy lattice using its l...