Partially ordered linear spaces

Partially Ordered Topological Spaces

FUZZY FRACTIONAL PARTIAL DIFFERENTIAL EQUATIONS IN PARTIALLY ORDERED METRIC SPACES

In this paper, we consider fuzzy fractional partial differential equations under Caputo generalized Hukuhara differentiability. Some new results on the existence and uniqueness of two types of fuzzy solutions are studied via  weakly contractive mapping in the partially ordered metric space. Some application examples are presented to illustrate our main results.

Generalized Weakly Contractions in Partially Ordered Fuzzy Metric Spaces

In this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and  coincidence point  theorems on partially ordered fuzzy metric spaces are proved. Also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.

Generalized $F$-contractions in Partially Ordered Metric Spaces

We discuss about the generalized $F$-contraction mappings in partially ordered metric spaces. For this, we first introduce the notion of ordered weakly $F$-contraction mapping. We also present some fixed point results about this type of mapping in partially ordered metric spaces. Next, we introduce the notion of $acute{mathrm{C}}$iri$acute{mathrm{c}}$ type generalized ordered weakly $F$-contrac...

Model Checking Partially Ordered State Spaces

The state explosion problem is the fundamental limitation of veriication through model checking. In many cases, representing the state space of a system as a lattice is an eeective way of ameliorating this problem. The partial order of the state space lattice represents an information ordering. The paper shows why using a lattice structure is desirable, and why a quaternary temporal logic rathe...