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

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.