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.

中文翻译：

---

逻辑量子模块和量子 B 模块之间的绝对等价

本文介绍了逻辑Quantale模块的概念。它证明了逻辑 Quantale 模块的类别和量子 B 模块的类别之间存在对偶等价性，即每个量子 B 模块都允许自然嵌入到逻辑 Quantale 模块（即包络 Quantale 模块）中。