The ‘the’ in the title hides a subtlety. A metric space induces not one but four topologies - by means of open sets, closed closure, and interior they just so happen to coincide. agreement between these structures arising from function d:X×X→[0,∞] is due combination axioms lattice structure [0,∞]. Further motivation materializes Lawvere's observation 1973 effect that (slightly generalized) cate...

We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the c...

We develop a formal system to reason about knowledge properties of quantum security protocols. The formalism is obtained via a marriage of measurement calculus [3], an algebraic framework for measurementbased quantum computing [7], with the algebra of epistemic actions and their appearance maps [1, 8]. Measurement calculus has also proven to be a proper language to describe and to analyse distr...

In this paper, we study the relations (L, )-fuzzy topologies and (L, )-filters on strictly two-sided, commutative quantale lattices (L, ) and (L, ∗). Mathematics Subject Classification: 03E72, 54A40, 54B10

In this paper, we study (L, )-fuzzy topologies induced by operations and (L, )-filters on strictly two-sided, commutative quantale lattices (L, ) and (L, ∗). Mathematics Subject Classification: 03E72, 54A40, 54B10

It is shown that every two-variable adjunction in categories enriched a commutative quantale serves as base for constructing Isbell adjunctions between functor categories, and Kan are precisely constructed from suitable associated adjunctions. Representation theorems established fixed points of these

We present two applications to AI of recently introduced high level quantum structures. These structures are the categorical quantum logic of (Abramsky & Coecke 2004) and the quantale quantum logic of (Coecke, Moore, & Stubbe 2001). Firstly, we show how the diagrammatic toolkit of categorical quantum logic, when restricted to its pregroup fragment (Lambek 1999; 2001), simplifies analysis of sen...

The aim of the paper is to work towards a generalisation of coalgebraic logic enriched over a commutative quantale. Previous work has shown how to dualise the coalgebra type functor T : Ω-Cat //Ω-Cat in order to obtain the modal operators and axioms describing transitions of type T . Here we give a logical description of the dual of Ω-Cat.

In this paper, projective modules over a quantale are characterized by distributivity, continuity, and adjointness conditions. It is then show that a morphism Q // A of commutative quantales is coexponentiable if and only if the corresponding Q-module is projective, and hence, satisfies these equivalent conditions.

In this paper, we characterize explicitly the separation properties $T_0$ and $T_1$ at a point p in topological category of quantale-valued preordered spaces investigate how these characterizations are related. Moreover, prove that local hereditary productive.