A quantale is a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins. We define the notions of right (left, two) sided derivation and idempotent derivation and investigate the properties of them. It’s well known that quantic nucleus and quantic conucleus play important roles in a quantale. In this paper, the relationships between derivation and quantic nucleus (conucleus) are studied via introducing the concept of pre-derivation.

The paper considers a fuzzification of the notion of quantaloid of K. I. Rosenthal, which replaces enrichment in the category of $\bigvee$-semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At...

Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.

The aim of this paper is to construct an $L$-valued category whose objects are $L$-$E$-ordered sets. To reach the goal, first, we construct a category whose objects are $L$-$E$-ordered sets and morphisms are order-preserving mappings (in a fuzzy sense). For the morphisms of the category we define the degree to which each morphism is an order-preserving mapping and as a result we obtain an $L$-valued category. Further we investigate the properties of this category, namely, we observe some special objects, special...