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

We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module language augmented with functions yielding components for a p-basis and a chain of subgroups indexed by the valuation group.

Considering a frame L, we introduce the notions of stratified L-semi-topological neighborhood group, stratified L-quasi-topological neighborhood group, and stratified L-quasi-bi-topological neighborhood group. In so doing, we look at the notion of stratified L-right (left) semi-topological neighborhood group, provide some basic facts, and present a construction of a stratified L-right semi-topo...

In this paper, firstly, a generalized subconvexlike set-valued map involving the relative algebraic interior is introduced in ordered linear spaces. Secondly, some properties of a generalized subconvexlike set-valued map are investigated. Finally, the optimality conditions of set-valued optimization problem are established.

Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satisfaction by the system. The need to check the quality of specifications is even more acute in property-based design, where the specification is the only input, serving as a basis to the development of the system. Inhere...

This paper presents an investigation of many valued lattices from the point of view of enriched category theory. For a bounded partially ordered set P , the conditions for P to become a lattice can be postulated as existence of certain adjunctions. Reformulating these adjunctions, by aid of enriched category theory, in many valued setting, two kinds of many valued lattices, weak -lattices and -...

The aim of this paper is to introduce some classes of aggregation functionals when the evaluation scale is a complete lattice. We focus on the notion of quantile of a lattice-valued function which have several properties of its real-valued counterpart and we study a class of aggregation functionals that generalizes Sugeno integrals to the setting of complete lattices. Then we introduce in the r...

In this paper, we first present a new important property for Bouligand tangent cone (contingent cone) of a star-shaped set. We then establish optimality conditions for Pareto minima and proper ideal efficiencies in nonsmooth vector optimization problems by means of Bouligand tangent cone of image set, where the objective is generalized cone convex set-valued map, in general real normed spaces.

In this paper, by virtue of lower Studniarski derivatives of set-valued maps, relationships between lower Studniarski derivative of a set-valued map and its profile map are discussed. Some results concerning sensitivity analysis are obtained in parametrized vector optimization.