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

It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic prodiscrete groupoid), the fundamental progroupoid, and that this progroupoid represents first degree cohomology. In this paper we generalize these results to an arbitrary topos. Th...

the aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. all values aretaken in a fixed frame $l$. a definition of (strongly) completelydistributive $l$-ordered sets is introduced. the main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $l$-ordereds...

the aim of this paper is to introduce $(l,m)$-fuzzy closurestructure where $l$ and $m$ are strictly two-sided, commutativequantales. firstly, we define $(l,m)$-fuzzy closure spaces and getsome relations between $(l,m)$-double fuzzy topological spaces and$(l,m)$-fuzzy closure spaces. then, we introduce initial$(l,m)$-fuzzy closure structures and we prove that the category$(l,m)$-{bf fc} of $(l,m...

In spite of the fact that true arithmetic reduces to the monadic second-order theory of the real line, Peano arithmetic cannot be interpreted in the monadic second-order theory of the real line. ?0. Introduction. The decision problem for the monadic second-order theory of the real line was posed by Grzegorczyk in 1951 [Gr], and was proved undecidable in 1976 by Shelah [Sh]. Shelah reduced the f...

We show every monadic Heyting algebra is isomorphic to a functional monadic Heyting algebra. This solves a 1957 problem of Monteiro and Varsavsky [9].

If S is an order-adjoint monad, that is, a monad on Set that factors through the category of ordered sets with left adjoint maps, then any monad morphism τ : S → T makes T orderadjoint, and the Eilenberg-Moore category of T is monadic over the category of monoids in the Kleisli category of S.

Algebraic structures such as Bottleneck Algebras (R,Max,Min), Fuzzy Algebras ((0, 1),Max,Min) or more generally ((0, 1),Max, T ) where T is a t-norm have been extensively used as relevant tools for modeling and solving problems related to Fuzzy Sets, Fuzzy relations and systems. Many of these algebraic structures may be viewed as special instances of canonically ordered Semirings, (i.e. semirin...

During the past 40 years of fuzzy research at the Fuzziness and Uncertainty Modeling research unit of Ghent University several axiomatic systems and characterizations have been introduced. In this paper we highlight some of them. The main purpose of this paper consists of an invitation to continue research on these first attempts to axiomatize important concepts and systems in fuzzy set theory....