相关论文: Some results on $L$-complete lattices

We consider the problem of Data Flow Analysis over monotone data flow frameworks with a finite lattice. The problem of computing the Maximum Fixed Point (MFP) solution is shown to be P-complete even when the lattice has just four elements.…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

We present a general mapping between continuous and lattice models of Bose- and Fermi-gases in one dimension, interacting via local two-body interactions. For s-wave interacting bosons we arrive at the Bose-Hubbard model in the weakly…

Given a poset $P$, the set, $\Gamma(P)$, of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory $\mathbf{C}$ of $\mathbf{Pos}_d$ (the category of posets and Scott-continuous maps) is said to be…

A new result of G. Cz\'edli states that for an ordered set $P$ with at least two elements and a group $G$, there exists a bounded lattice $L$ such that the ordered set of principal congruences of $L$ is isomorphic to $P$ and the…

We prove that for any distributive join-semilattice S, there are a meet-semilattice P with zero and a map f:PxP-->S such that f(x,z)<=f(x,y)vf(y,z) and x<=y implies that f(x,y)=0, for all x,y,z in P, together with the following conditions:…

This paper is a review of monopoles, lowest Landau level, fuzzy spheres, and their mutual relations. The Hopf maps of division algebras provide a prototype relation between monopoles and fuzzy spheres. Generalization of complex numbers to…

For any two finite posets $P$ and $Q$, let $\Hom(P,Q)$ be the hom-poset consisting of all order preserving maps from $P$ to $Q$, and $J(Q)$ the collection of all order ideals of $Q$. In this paper, we study some basic properties of the…

This paper is about the study of F-transforms based on overlap and grouping maps, residual and co-residual implicator over complete lattice from both constructive and axiomatic approaches. Further, the duality, basic properties, and the…

This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is…

This paper deals with the uniqueness of $L$-fuzzy sets in the representation of a given family of subsets of nonempty set. It first shows a formula of the number of $L$-fuzzy sets whose collection of cuts coincides with a given family of…

An orthogonal approach to the fuzzification of both multisets and hybrid sets is presented. In particular, we introduce L-multi-fuzzy and L-fuzzy hybrid sets, which are general enough and in spirit with the basic concepts of fuzzy set…

We consider a class of point processes (pp), which we call {\em sub-Poisson}; these are pp that can be directionally-convexly ($dcx$) dominated by some Poisson pp. The $dcx$ order has already been shown useful in comparing various point…

Given a bounded lattice $L$ with bounds $0$ and $1$, it is well known that the set $\mathsf{Pol}_{0,1}(L)$ of all $0,1$-preserving polynomials of $L$ forms a natural subclass of the set $\mathsf{C}(L)$ of aggregation functions on $L$. The…

Discrete fuzzy numbers, and in particular those defined over a finite chain $L_n = \{0, \ldots, n\}$, have been effectively employed to represent linguistic information within the framework of fuzzy systems. Research on total (admissible)…

In this paper, we present the characterizations of total boundedness, relative compactness and compactness in fuzzy set spaces equipped with the endograph metric. The conclusions in this paper significantly improve the corresponding…

In this paper we prove FG-coupled fixed point theorems for different contractive mappings and generalized quasi- contractive mappings in partially ordered complete metric spaces. We prove the existence of FG-coupled fixed points of…

This paper studies the differential lattice, defined to be a lattice $L$ equipped with a map $d:L\to L$ that satisfies a lattice analog of the Leibniz rule for a derivation. Isomorphic differential lattices are studied and classifications…

For a completely distributive quantale $L$, $L$-fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are linear or affine continuous mappings between continuous…

A $1$-Lipschitz map $f$ from a convex compact set to itself has fixed points. This consequence of Brouwer's or Schauder's fixed point theorem has more elementary proofs by approximating $f$ by $\lambda$-contractions, $f_\lambda$. We study…