This paper deals with iterated revision of partially ordered information. The first part of this paper concerns the Katsuno-Mendelzon’s postulates: we first point out that these postulates are not fully satisfactory since only a class of partially ordered information can be revised. We then propose a suitable definition of faithful assignment, followed by a new set of postulates and a represent...

A poset is said to be ω-chain complete if every countable chain in it has a least upper bound. It is known that every partially ordered set has a natural ω-completion. In this paper we study the ω-completion of partially ordered semigroups, and the topological action of such a semigroup on its ω-completion. We show that, for partially ordered semigroups, ω-completion and quotient with respect t...

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

In this paper, author proves the algorithms for the existence as well as the approximation of solutions to a couple of periodic boundary value problems of nonlinear first order ordinary integro-differential equations using operator theoretic techniques in a partially ordered metric space. The main results rely on the Dhage iteration method embodied in the recent hybrid fixed point theorems of D...

We constructively prove that the partially ordered set of finite permutations ordered by deletion of entries contains an infinite antichain.

In this paper, by reducing of coincidence and coupled fixed point results in ordered metric spaces to the respective results for mappings with one variable, some recent results established by T. G. Bhaskar and V. Lakshmikantham [T. G. Bhaskar, V. Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, Nonlinear Analysis 65 (2006) 1379-1393], V. Lakshmikantham a...

This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...

In this paper, we attempt to investigate the connection between various types of ideals (for examples $(m, n)$-ideal, bi-ideal, interior ideal, quasi ideal, prime ideal and maximal ideal) of an ordered semigroup $(S,cdot ,leq)$ and the correspond hyperideals of its EL-hyperstructure $(S,*)$ (if exists). Moreover, we construct the class of EL-$Gamma$-semihypergroup associated to a partially orde...