It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define may not have unit. We develop the elementary theory of these structures and show, in particular, how to nuclei whose quotients quantales. This yields phase semantics representation theorem via Important examples arise from Raney’s notion tight Galois connection: endomap...

By introducing lattice-valued covers of a set, we present a general framework for uniform structures on very general L-valued spaces (for L an integral commutative quantale). By showing, via an intermediate L-valued structure of uniformity, how filters of covers may describe the uniform operators of Hutton, we prove that, when restricted to Girard quantales, this general framework captures Hutt...

We study properties of the quantale spectrum MaxA of an arbitrary unital C*-algebra A. In particular we show that the spatialization of MaxA with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we conclu...

The approach to process semantics using quantales and modules is topologized by considering tropological systems whose sets of states are replaced by locales and which satisfy a suitable stability axiom. A corresponding notion of localic suplattice (algebra for the lower powerlocale monad) is described, and it is shown that there are contravariant functors from sup-lattices to localic sup-latic...

the paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. motivated by an open question of s. e. rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of l. a. zadeh. on the next step, w...

Let $L$ be an integral and commutative quantale. In this paper, by fuzzifying the notion of generalized neighborhood systems, the notion of $L$-fuzzy generalized neighborhoodsystem is introduced and then a pair of lower and upperapproximation operators based on it are defined and discussed. It is proved that these approximation operators include generalized neighborhood system...

s