We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations ...

The development of operational quantum logic points out that classical boolean structures are too rigid to describe the actual and potential properties of quantum systems. Operational quantum logic bears upon basic axioms which are motivated by empirical facts and as such supports the dynamic shift from classical to non-classical logic resulting into a dynamics of logic. On the other hand, a dy...

This survey paper, specifically targeted at a readership of fuzzy logicians and fuzzy set theorists, aims to provide a gentle introduction to the basic notions of quantaloidenriched category theory. We discuss at length the definitions of quantaloid, quantaloidenriched category, distributor and functor, always giving several examples that – hopefully – appeal to the intended readership. To indi...

The starting point of the present study is the interpretation of intuitionistic linear logic in Petri nets proposed by U. Engberg and G. Winskel. We show that several categories of order algebras provide equivalent interpretations of this logic, and identify the category of the so called strongly coherent quantales arising in these interpretations. The equivalence of the interpretations is inti...

We use continuity spaces, a common refinement of posets and metric spaces, to develop a general theory of semantic domains which includes metric spaces and domains of cpo’s as special cases and provides the appropriate tools for producing new examples which may be suitable for modeling language constructs that occur in concurrent and probabilistic programming. Our proposal for a general notion ...

We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii) it goes with the introduction of non-determinism, (iii) it naturally extends beyond boolean sets of propositions, up to intuitionistic and non-d...

We pursue the idea that predicate logic is a “fibred algebra” while propositional logic is a single algebra; in the context of intuitionism, this algebraic understanding of predicate logic goes back to Lawvere, in particular his concept of hyperdoctrine. Here, we aim at demonstrating that the notion of monad-relativised hyperdoctrines, which are what we call fibred algebras, yields algebraisati...

Hausdorff and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V . The Hausdorff functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V...

Our work proposes a new paradigm for the study of various classes of cancellative residuated lattices by viewing these structures as lattice-ordered groups with a suitable operator (a conucleus). One consequence of our approach is the categorical equivalence between the variety of cancellative commutative residuated lattices and the category of abelian lattice-ordered groups endowed with a conu...

Considering a commutative unital quantale L as the truth value table and using the tool of L-generalized convergence structures of stratified L-filters, this paper introduces a kind of fuzzy upper topology, called fuzzy S-upper topology, on L-preordered sets. It is shown that every fuzzy join-preserving L-subset is open in this topology. When L is a complete Heyting algebra, for every completel...