Quantum B‐algebras are partially ordered algebras characterizing the residuated structure of a quantale. Examples arise in algebraic logic, non‐commutative arithmetic, and quantum theory. A quantum B‐algebra with trivial partial order is equivalent to a group. The paper introduces a corresponding analogue of quantale modules. It is proved that every quantum B‐module admits an injective envelope which is a quantale module. The injective envelope is constructed explicitly as a completion, a multi‐poset version of the completion of Dedekind and MacNeille.

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.

In order to provide a unified framework for studying non-commutative algebraic logic, Rump and Yang used three axioms to define quantum B-algebras, which can be seen as implicational subreducts of quantales. Based on the work of Rump and Yang, in this paper we shall continue to investigate the properties of three axioms in quantum B-algebras. First, using two axioms we introduce the concept of generalized quantum B-algebras and prove that the opposite of the category GqBAlg of generalized quantum B-algebras is (...) equivalent to the category LogPQ of logical pre-quantales, but we can not prove that pre-quantales can be used as the injective objects in GqBAlg. Next, we use one axiom to propose the concept of C-algebras and show that a C-algebra is a group if and only if each of its elements is dualizing. Further, by dualizing elements of a C-algebra X, we can define different binary operations on X such that X is a moniod. Finally, we by the Zig–Zag relation discuss some properties of quantum B-algebras. (shrink)