The purpose of this paper is to construct a weak hyper semi-quantale as a generalization of the concept of semi-quantale and used it as an appropriate hyperlattice-theoretic basis to formulate new lattice-valued topological theories. Based on such weak hyper semi-quantale, we aim to construct the notion of a weak hypervalued-topology as a generalized form of the so-called lattice-valued t...

We know from a previous paper that the reticulation of coherent quantale A is bounded distributive lattice L ( ) whose prime spectrum homeomorphic to m -prime . This studies how can be used for transferring some properties lattices quantales and vice versa. shall illustrate this thesis by proving several results on pure w –pure elements means In particular, we investigate σ –ideals transferred ...

We present an approach to bring reasoning in quantales into the realm of automated theorem proving. We use the TPTP Problem Library for this purpose which by a recent approach now integrates fully automated higher-order theorem provers. In particular, we give an encoding of quantales in the new typed higher-order form and show how to prove theorems about quantales fully automatically.

The notion of quantale, which designates a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins, appears in various areasof mathematics-in quantaloid theory, non classical logic as completion the Lindebaum algebra, and different representations spectrum C∗ algebra asmany-valued commutative topologies. To put it briefly, its importance is nolonger...

In Palmigiano and Re (J Pure Appl Algebra 215(8):1945–1957, 2011), spatial SGF-quantales are axiomatically introduced and proved to be representable as sub unital involutive quantales of quantales arising from set groupoids. In the present paper, spatial SGF-quantales of this class are shown to be optimally representable as unital involutive quantales of relations. The results of the present pa...

The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert A-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular involutive quantales are Morita equivalent if and only if they are isomorphic. In the paper [5] F. Borceux and E.M. Vitale made a first step in extending the theory o...

7 This paper deals with a particular question—When do powersets in lattice-valued mathematics form algebraic theories (ormonads) in clone form?Our approach in this and related papers is to consider “powersets over objects” in the ground categories Set and Set×C 9 from the standpoint of algebraic theories in clone form (C is a particular subcategory of the dual of the category of semi-quantales)...

Recently the theory of Morita equivalence for involutive quantales and the notion of the interior tensor products of Hilbert modules over involutive quantales evolved considerably (see e.g. Paseka, 2002 and Paseka, 2001). The present paper is an attempt to put a part of this theory in a broader context of the bicategory of m-regular involutive quantales. For facts concerning quantales in genera...