In this paper, the concepts of $L$-concave structures, concave $L$-interior operators and concave $L$-neighborhood systems are introduced. It is shown that the category of $L$-concave spaces and the category of concave $L$-interior spaces are isomorphic, and they are both isomorphic to the category of concave $L$-neighborhood systems whenever $L$ is a completely distributive lattice. Also, it i...

this paper extends the notion of ditopology to the case where openness and closedness are given in terms of {em a priori} unrelated drading functions. the resulting notion of graded ditopology is considered both in the setting of lattices and in that textures, the relation between the two approaches being discussed in detail. interrelations between graded ditopologies and ditopologies on textur...

A prime algebraic lattice can be characterised as isomorphic to the downwards-closed subsets, ordered by inclusion, of its complete primes. It is easily seen that the downwards-closed subsets of a partial order form a completely distributive algebraic lattice when ordered by inclusion. The converse also holds; any completely distributive algebraic lattice is isomorphic to such a set of downward...

The free distributive completion of a partial complete lattice is the complete lattice that it is freely generated by the partial complete latticèin the most distributive way'. This can be described as being a universal solution in the sense of universal algebra. Free distributive completions generalize the constructions of tensor products and of free completely distributive complete lattices o...

We give a new characterization of sober spaces in terms of their completely distributive lattice of saturated sets. This characterization is used to extend Abramsky's results about a domain logic for transition systems. The Lindenbaum algebra generated by the Abramsky nitary logic is a distributive lattice dual to an SFP-domain obtained as a solution of a recursive domain equation. We prove tha...

Given a reference lattice (X,⊑), we define fuzzy intervals to be the fuzzy sets such that their pcuts are crisp closed intervals of (X,⊑). We show that: given a complete lattice (X,⊑) the collection of its fuzzy intervals is a complete lattice. Furthermore we show that: if (X,⊑) is completely distributive then the lattice of its fuzzy intervals is distributive.