A categorical equivalence between logical quantale modules and quantum B-modules

Abstract

This paper introduces the notion of logical quantale module. It proves that there is a dual equivalence between the category of logical quantale modules and the category of quantum B-modules, in the way that every quantum B-module admits a natural embedding into a logical quantale module, the enveloping quantale module.