Recently, I. Stubbe constructed an isomorphism between the categories of right Q-modules and cocomplete skeletal Q-categories for a given unital quantale Q. Employing his results, we obtain an isomorphism between the categories of Q-algebras and Q-quantales, where Q is additionally assumed to be commutative. As a consequence, we provide a common framework for two concepts of lattice-valued fram...

In the topos approach to quantum theory of Doering and Isham the Kochen–Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of a commutativeC∗–algebra. In previous work we showed how this topos perspective can be generalised to a class of categories typically studied withi...

An algebraic approach to the design of program construction and verification tools is applied to separation logic. The control-flow level is modelled by power series with convolution as separating conjunction. A generic construction lifts resource monoids to assertion and predicate transformer quantales. The data domain is captured by concrete store-heap models. These are linked to the separati...

In this paper, we take a GL-quantale as the truth value table to study a new rough set model—L-valued fuzzy rough sets. The three key components of this model are: an L-fuzzy set A as the universal set, an L-valued relation of A and an L-fuzzy set of A (a fuzzy subset of fuzzy sets). Then L-valued fuzzy rough sets are completely characterized via both constructive and axiomatic approaches. 

The term Stone-type duality often refers to a dual equivalence between category of lattices or other partially ordered structures on one side and topological the other. This paper is part larger endeavour that aims extend web dualities from metric and, more generally, quantale-enriched categories. In particular, we improve our previous work show how certain results for categories [ 0 , 1 ] -enr...

Abstract Up-to techniques are a well-known method for enhancing coinductive proofs of behavioural equivalences. We introduce up-to metrics between systems modelled as coalgebras, and we provide abstract results to prove their soundness in compositional way. In order obtain general framework, need systematic way lift functors: show that the Wasserstein lifting functor, introduced previous work, ...

We study the mathematical structure of notion measurement space, which extends aspects noncommutative topology that are based on quantale theory. This yields a geometric model physical measurements provides realist picture, yet also operational, such and classical information arise interdependently as primitive concepts. A derived observer caters for formulation Bohr's classical/quantum divide....

In this paper, we introduce the notion of {bf K}-flat projective fuzzy quantales, and give an elementary characterization in terms of a fuzzy binary relation on the fuzzy quantale. Moreover, we  prove that {bf K}-flat projective fuzzy quantales are precisely the coalgebras for a certain comonad on the category of fuzzy quantales. Finally, we present two special cases of {bf K} as examples.

This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...

Behavioural preorders and equivalences for higher-order languages have been extensively studied in the last decades, often leading to rich and satisfactory theories. However, in presence of effectful computations ordinary behavioural relations can be too discriminating, as highlighted by probabilistic higher-order languages. An elegant way to avoid such problem is to move from qualitative, bool...